The Higher-Order Prover LEO-II (bibtex)
by Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson, Frank Theiss
Reference:
The Higher-Order Prover LEO-II (Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson, Frank Theiss), In Journal of Automated Reasoning, volume 55, number 4, pp. 389-404, 2015. (Url (preprint): http://christoph-benzmueller.de/papers/J30.pdf)
Bibtex Entry:
@article{J30,
  Author =	 {Christoph Benzm{\"u}ller and Nik Sultana and
                  Lawrence C. Paulson and Frank Theiss},
  Doi =		 {10.1007/s10817-015-9348-y},
  Journal =	 {Journal of Automated Reasoning},
  Keywords =	 {own, Automated Reasoning, Interactive Proof,
                  Ontology Reasoning, LEO Prover, Higher Order Logic,
                  DFG-2501-Selected},
  Number =	 4,
  Pages =	 {389-404},
  Title =	 {The Higher-Order Prover {LEO-II}},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/J30.pdf}},
  Volume =	 55,
  Year =	 2015,
}
Powered by bibtexbrowser