@InProceedings{C3,
  key    =       {C03},
  author =	 {Christoph Benzm\"uller and Michael Kohlhase},
  title =	 {{LEO} -- A Higher-Order Theorem Prover},
  year =	 1998,
  editor =       {Claude Kirchner and H{\'e}l{\`e}ne Kirchner}, 
  booktitle =	 {Automated Deduction - CADE-15, 15th International Conference
               on Automated Deduction, Lindau, Germany, July 5-10, 1998,
               Proceedings},
  series =	 {LNCS},
  number =       1421,
  pages =        {139--143},
  chrisnote =	 {C3},
  publisher =	 {Springer},
  URL =		 {www.ags.uni-sb.de/~chris/papers/C3.pdf},
  abstract =	 {In this paper we discuss the Higher-Order Theorem Prover LEO, which is
                  based on the Extensional Higher-Order Resolution Calculus EXTRES.}
}