Steen, AlexanderAlexanderSteenBenzmüller, ChristophChristophBenzmüller0000-0002-3392-30932022-09-212022-09-212020https://fis.uni-bamberg.de/handle/uniba/55647engOn Reductions of Hintikka Sets for Higher-Order Logicpreprint10.48550/ARXIV.2004.07506https://arxiv.org/abs/2004.07506