R. S. SILVESTRE, «On the logical formalization of Anselm’s ontological argument», RBFR, vol. 2, n.º 1, pp. 142–161, oct. 2018.