Decidability Problems for the Prenex Fragment of Intuitionistic Logic.

Anatoli Degtyarev, Andrei Voronkov

Browse the full LICS paper archive.