Search: Comparing Approaches To Resolution Based
2002
[1]Comparing Approaches to Resolution based Higher-Order Theorem Proving (Christoph Benzmüller), In Synthese, volume 133, number 1-2, pp. 203-235, 2002. (Url (preprint): http://christoph-benzmueller.de/papers/J5.pdf) [bibtex] [doi]
Powered by bibtexbrowser