V. C. da Silva, “Formalização e axiomatização de provas ontológicas: Das conjecturas de Jeans e Schrödinger à formulação computacional de Benzmüller e Woltzenlogel Paleo da prova de Gödel”, Perspectivas, vol. 2, nº 2, p. 83–113, nov. 2019.