Complexity of intuitionistic predicate logic with one variable - Marx, Maarten (Inst. for Logic, Language and Computation, 2001)