@InProceedings{Schulz:IJCAR-2001,
  author = 	 {S. Schulz},
  title = 	 {{System Abstract: E 0.61}},
  booktitle = 	 {Proc.\ of the 1st IJCAR, Siena},
  editor =	 {R. Gor{\'e} and A. Leitsch and T. Nipkow},
  number =	 {2083},
  series =	 {LNAI},
  year =	 {2001},
  publisher =	 {Springer},
  pages =	 {370--375},
}