Search: Extensional Higher-Order Paramodulation
2019
[2]Extensional Higher-Order Paramodulation in Leo-III (Alexander Steen, Christoph Benzmüller), In Submitted, Springer Netherlands, pp. 1-34, 2019. (Preprint: https://arxiv.org/abs/1907.11501) [bibtex]
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) (Preprint: http://christoph-benzmueller.de/papers/C5.pdf) [bibtex] [doi]