S. Galvan, “Two Types of Ontological Frame and Gödel’s Ontological Proof”, EJPR, vol. 4, no. 2, pp. 147–168, Jun. 2012.