Ontlogical Arguments and Belief in God. Sobel, J. H. 1987. Godel's Ontological Proof. J.J. Thomson, 241-261. The reconstruction presented here is based on a version from Denis Robinson, formerly of Melbourne, now at Auckland University.
Traditional theists face a prima facie dilemma.
However if God creates the universe without existing then we are not faced with this dilemma. Thanks to Denis Robinson for introducing me to Gasking's argument and for suggesting refinements to an earlier formulation.