Steen, AlexanderAlexanderSteenBenzmüller, ChristophChristophBenzmüller0000-0002-3392-30932022-09-222022-09-222019https://fis.uni-bamberg.de/handle/uniba/55653engExtensional Higher-Order Paramodulation in Leo-IIIpreprint10.48550/ARXIV.1907.11501https://arxiv.org/abs/1907.11501