by Christoph Benzmüller, Lawrence Paulson, Frank Theiss, Arnaud Fietzke
Reference:
Progress Report on LEO-II -- An Automatic Theorem Prover for Higher-Order Logic (Christoph Benzmüller, Lawrence Paulson, Frank Theiss, Arnaud Fietzke), In TPHOLs 2007 Emerging Trends Proceedings, Internal Report 364/07 at Department of Computer Science, pp. 33-48, 2007. (slides) (Url (preprint): http://christoph-benzmueller.de/papers/W37.pdf)
Bibtex Entry:
@inproceedings{W37,
Author = {Christoph Benzm{\"u}ller and Lawrence Paulson and
Frank Theiss and Arnaud Fietzke},
Booktitle = {TPHOLs 2007 Emerging Trends Proceedings},
Comment = {<a
href="http://christoph-benzmueller.de//papers/2007-LEO-II-TPHOLS.pdf">slides</a>},
Keywords = {own, LEO Prover, Higher Order Logic, Automated
Reasoning},
Pages = {33-48},
Publisher = {Internal Report 364/07 at Department of Computer
Science},
Address = {University of Kaiserslautern, Germany},
Title = {Progress Report on {LEO-II} -- An Automatic Theorem
Prover for Higher-Order Logic},
Note = {Url (preprint):
\url{http://christoph-benzmueller.de/papers/W37.pdf}},
Year = 2007,
}