Search: Extensional Higher-Order Paramodulation
1999
[1]Extensional Higher-Order Paramodulation and RUE-Resolution (Christoph Benzmüller), In Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Harald Ganzinger, ed.), Springer, LNCS, number 1632, pp. 399-413, 1999. (slides) (Url (preprint): http://christoph-benzmueller.de/papers/C5.pdf) [bibtex] [doi]
Powered by bibtexbrowser