Grigori Mints: Complexity of Subclasses of the Intuitionistic Propositional Calculus. BIT 32(1): 64-69 (1992)