Search: All About Proofs
2015
[1]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]