Rosalie Iemhoff On The Admissible Rules of Intuitionistic Propositional Logic. 281-294 2001 66 J. Symb. Log. 1 db/journals/jsyml/jsyml66.html#Iemhoff01