(1)
Alonderis R. Proof-Search of Propositional Intuitionistic Logic Sequents by Means of Classical Logic Calculus. LMR 2008, 48, 256–262.