Higher-Order Automated Theorem Provers (bibtex)
by Christoph Benzmüller
Higher-Order Automated Theorem Provers (Christoph Benzmüller), Chapter in All about Proofs, Proof for All (David Delahaye, Bruno Woltzenlogel Paleo, eds.), College Publications, Mathematical Logic and Foundations, pp. 171-214, 2015. (publisher) (Preprint: http://christoph-benzmueller.de/papers/B14.pdf)
Bibtex Entry:
  Address =	 {London, UK},
  Author =	 {Christoph Benzm\"uller},
  Booktitle =	 {All about Proofs, Proof for All},
  Comment =	 {<a href="http://www.collegepublications.co.uk/logic/mlf/?00023">publisher</a>},
  Editor =	 {David Delahaye and Woltzenlogel Paleo, Bruno},
  Isbn =	 {978-1-84890-166-7},
  Keywords =	 {own, Automated Reasoning, Higher Order Logic},
  Pages =	 {171-214},
  Publisher =	 {College Publications},
  Series =	 {Mathematical Logic and Foundations},
  Title =	 {Higher-Order Automated Theorem Provers},
  Addendum =	 {Preprint:
  Year =	 2015,