@InProceedings{Schulz:CADE-99,
  author = 	 {S. Schulz},
  title = 	 {{System Abstract: E 0.3}},
  booktitle = 	 {Proc.\ of the 16th CADE, Trento},
  editor =	 {H. Ganzinger},
  number =	 {1632},
  series =	 {LNAI},
  year =	 {1999},
  publisher =	 {Springer},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  pages =	 {297--301},
  OPTnote = 	 {},
  OPTannote = 	 {}
}