Steen, AlexanderAlexanderSteenBenzmüller, ChristophChristophBenzmüller0000-0002-3392-30932022-09-162022-09-1620211573-06700168-7433https://fis.uni-bamberg.de/handle/uniba/55578engExtensional Higher-Order Paramodulation in Leo-IIIarticle10.1007/s10817-021-09588-xhttps://link.springer.com/article/10.1007/s10817-021-09588-x