The Higher-Order Prover LEO-II (bibtex)
by Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson, Frank Theiß
Reference:
The Higher-Order Prover LEO-II (Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson, Frank Theiß), In Journal of Automated Reasoning, volume 55, number 4, pp. 389-404, 2015.
Bibtex Entry:
@article{J30,
  Author =	 {Christoph Benzm{\"u}ller and Nik Sultana and Lawrence C. Paulson and
                  Frank Thei{\ss}},
  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}},
  Url =		 {http://christoph-benzmueller.de/papers/J30.pdf},
  Volume =	 55,
  Year =	 2015,
}
Powered by bibtexbrowser