Progress in the Development of Automated Theorem Proving for Higher-order Logic
G. Sutcliffe, C. Benzmüller, C.E. Brown, and F. Theiss,
22nd Conference on Automated Deduction (CADE)
Montreal, Canada, 2009
pdf|bibtex

LEO-II - A Cooperative Automatic Theorem Prover for Higher-Order Logic
C. Benzmüller, L. Paulson, F. Theiß, A.Fietzke
4th International Joint Conference on Automated Reasoning (IJCAR'08)
Sydney, Australia, 2008
pdf|bibtex

Progress Report on LEO-II - An Automatic Theorem Prover for Higher-Order Logic
C. Benzmüller, L. Paulson, F. Theiß, A.Fietzke
Emerging Trends paper at the
20th International Conference on Theorem Proving in Higher-Order Logics, 2007
pdf|bibtex

The LEO-II Project
C. Benzmüller, L. Paulson, F. Theiß, A.Fietzke
14th Workshop on Automated Reasoning, 2007
pdf|bibtex

Term Indexing for the LEO-II Prover
F. Theiß, C. Benzmüller
6th International Workshop on the Implementation of Logics, 2006
ps|pdf|bibtex

Interfacing to Computer Algebra via Term Indexing
F. Theiß, V. Sorge, M. Pollet
Proceedings of the Calculemus Symposium 2006. Electronic Notes in Theoretical Computer Science, Elsevier.
ps|pdf|bibtex

On the White Box Integration of Computer Algebra Algorithms into a Deduction System
F. Theiß
Diploma Thesis, 2005
ps|pdf|bibtex

Automatic Generation of Algorithms and Tactics
F. Theiß, V. Sorge
Work in progress paper: Calculemus 2002.
bibtex