"System Description: LEO - A Higher-Order Theorem Prover."

Christoph Benzmüller, Michael Kohlhase (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics