C. Benzmüller and D. Fuenmayor, “Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel’s Ontological Argument”, B Sect Log, vol. 49, no. 2, pp. 127–148, Jun. 2020.