B. Woltzenlogel-Paleo, C. Benzmüller: "Formalization, Mechanization and Automation of Gödel's Proof of God's Existence"; CoRR - Computing Research Repository, 1 (2013), abs/1308.4526; 1 - 2.