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. [bibtex] [pdf] [doi]
Powered by bibtexbrowser