Complexity of intuitionistic predicate logic with one variable - Marx, Maarten (Logic, philosophy and linguistics series] Instituut voor Taal, Logica en Informatie <Amsterdam>: [ILLC research report and technical notes series, 2001)