Benzmüller, C., and D. Fuenmayor. “Computer-Supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel’s Ontological Argument”. Bulletin of the Section of Logic, vol. 49, no. 2, June 2020, pp. 127–148, doi:10.18778/0138-0680.2020.08.