Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure (bibtex)
by Geoff Sutcliffe, Christoph Benzmüller
Reference:
Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure (Geoff Sutcliffe, Christoph Benzmüller), In Journal of Formalized Reasoning, volume 3, number 1, pp. 1-27, 2010.
Bibtex Entry:
@article{J22,
  Author =	 {Geoff Sutcliffe and Christoph Benzm{\"u}ller},
  Issn =	 {1972-5787},
  Journal =	 {Journal of Formalized Reasoning},
  Keywords =	 {own, Higher Order Logic, Automated Reasoning, Henkin
                  Semantics},
  Number =	 1,
  Pages =	 {1-27},
  Title =	 {Automated Reasoning in Higher-Order Logic using the
                  {TPTP THF} Infrastructure},
  Url =		 {http://christoph-benzmueller.de/papers/J22.pdf},
  Volume =	 3,
  Year =	 2010,
}
Powered by bibtexbrowser