TY  - RPRT
TI  - Extensional Higher-Order Paramodulation in Leo-III
AU  - Alexander Steen
AU  - Christoph Benzmüller
PY  - 2021
DO  - 10.1007/s10817-021-09588-x
UR  - https://arxiv.org/abs/1907.11501
ID  - 1907.11501
ER  -