The Higher-Order Prover LEO-II. Benzmüller, C., Sultana, N., Paulson, L. C., & Theiss, F. Journal of Automated Reasoning, 55(4):389-404, Springer Netherlands, 2015.
The Higher-Order Prover LEO-II [link]Preprint  doi  bibtex   
@article{J30,
  Author =	 {Christoph Benzm{\"u}ller and Nik Sultana and
                  Paulson, Lawrence C. and Frank Theiss},
  Doi =		 {10.1007/s10817-015-9348-y},
  Journal =	 {Journal of Automated Reasoning},
  publisher =	 {Springer Netherlands},
  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_preprint = {https://www.researchgate.net/publication/280986731},
  Volume =	 55,
  Year =	 2015,
}

Downloads: 0