R. S. SILVESTRE, “Sobre a formalização lógica do argumento ontológico de Anselmo”, RBFR, vol. 2, nº 1, p. 142–161, out. 2018.