Deciding Intuitionistic Propositional Logic via Translation into Classical Logic.

Daniel S. Korn, Christoph Kreitz

Browse the full CADE paper archive.