On the Mints Hierarchy in First-Order Intuitionistic Logic.

Aleksy Schubert, Pawel Urzyczyn, Konrad Zdanowski

Browse the full FOSSACS paper archive.