Reference for Dinosauria definition

[Dinogeorge@aol.com]

Anybody--

I need the citation to the earliest article in which Dinosauria is defined as 
the clade formed by the most recent common ancestor of Triceratops and 
Neornithes and all its descendants. This definition appears in Sereno 1998 
(N. Jb. Geol. Palaeont. Abh. 210(1): 41-83) but he doesn't cite earlier 
works. I was under the impression that this exact definition occurs earler, 
in Padian & Holtz 1995 (or vice versa) or Padian & May 1993, but my copies of 
these are buried and I can't check them. Or is Sereno the first to publish 
this definition?