Search: Extensional Higher-Order Paramodulation
[2]Extensional Higher-Order Paramodulation in Leo-III (Alexander Steen, Christoph Benzmüller), In Submitted to Journal of Automated Reasoning, Springer Netherlands, pp. 1-34, 2019. (Preprint: [bibtex]
[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: [bibtex] [doi]