Grigori Mints. The Gödel-Tarski Translations of Intuitionistic Propositional Formulas. In Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce, editors, Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Volume 7265 of Lecture Notes in Computer Science, pages 487-491, Springer, 2012. [doi]
Abstract is missing.