LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description). - Christoph Benzmüller; Lawrence C. Paulson; Frank Theiss; Arnaud Fietzke (IJCAR, 2008)

Progress in the Development of Automated Theorem Proving for Higher-Order Logic. - Geoff Sutcliffe; Christoph Benzmüller; Chad E. Brown; Frank Theiss (CADE, 2009)

The Higher-Order Prover Leo-II. - Christoph Benzmüller; Nik Sultana; Lawrence C. Paulson; Frank Theiss (J. Autom. Reason., 2015)