Steen, AlexanderAlexanderSteenBenzmüller, ChristophChristophBenzmüller0000-0002-3392-30932025-12-082025-12-0820252631-98102631-9829https://fis.uni-bamberg.de/handle/uniba/112065engOn Reductions of Hintikka Sets for Higher-Order Logicarticlehttps://www.collegepublications.co.uk/downloads/ifcolog00075.pdf