The Higher-Order Prover Leo-III (Extended Version) (bibtex)
by Alexander Steen, Christoph Benzmüller
The Higher-Order Prover Leo-III (Extended Version) (Alexander Steen, Christoph Benzmüller), Technical report, CoRR, number arXiv:1802.02732, 2018. (, preprint of IJCAR 2018 paper)
Bibtex Entry:
  Author =	 {Steen, Alexander and Benzm{\"u}ller, Christoph},
  Keywords =	 {own, LEO Prover, Higher Order Logic, Polymorphism,
                  Automated Reasoning, Higher Order Logic, Higher
                  Order Modal Logic, Universal Reasoning},
  Title =	 {The Higher-Order Prover {Leo-III} (Extended
  Institution =	 {CoRR},
  Number      =  {arXiv:1802.02732},
  Addendum =	 {\url{}, preprint of
                  IJCAR 2018 paper},
  Url =		 {},
  Year =	 2018