Steen, AlexanderAlexanderSteenBenzmüller, ChristophChristophBenzmüller0000-0002-3392-30932026-07-272026-07-2720252631-9810https://fis.uni-bamberg.de/handle/uniba/116346engOn Reductions of Hintikka Sets for Higher-Order Logicarticlehttps://www.collegepublications.co.uk/downloads/ifcolog00075.pdf