1. Rushby, J.: The ontological argument in PVS. In: Proceedings of CAV Workshop “Fun With Formal Methods”. St. Petersburg, Russia (2013)
2. Oppenheimer, P.E., Zalta, E.N.: A computationally-discovered simplification of the ontological argument. Australas. J. Philos. 89(2), 333–349 (2011)
3. Gödel, K.: Appx.A: notes in Kurt Gödel’s hand. In: Sobel, J.H. (ed.) Logic and Theism: Arguments for and Against Beliefs in God, pp. 144–145. Cambridge University Press, Cambridge (2004)
4. Benzmüller, C., Woltzenlogel Paleo, B.: The Inconsistency in Gödel’s ontological argument: a success story for AI in metaphysics. In: Kambhampati, S. (ed.) IJCAI 2016, vol. 1–3, pp. 936-942. AAAI Press (2016). URL: http://www.ijcai.org/Proceedings/16/Papers/137.pdf
5. Benzmüller, C., Woltzenlogel Paleo, B.: Automating Gödel’s ontological proof of God’s existence with higher-order automated theorem provers. In: Schaub, T., Friedrich, G., O’Sullivan, B. (eds.) ECAI 2014, vol. 263. Frontiers in Artificial Intelligence and Applications, pp. 93–98. IOS Press, Amsterdam (2014). doi: 10.3233/978-1-61499-419-0-93