“Sobre a formalização lógica do argumento ontológico de Anselmo”, RBFR, vol. 2, nº 1, p. 142–161, out. 2018, doi: 10.26512/2358-82842015e17382.