Benzmüller, ChristophChristophBenzmüller0000-0002-3392-30932024-11-112024-11-111997https://fis.uni-bamberg.de/handle/uniba/104526engA calculus and a system architecture for extensional higher-order resolutionworkingpaper10.1184/r1/6476477.v1