@Article{OZ11,
    Author       = "Oppenheimer, P. and Zalta, E.",
    Year         = "2011",
    Title        = "{A Computationally-Discovered Simplification of the
                    Ontological Argument}",
    Journal      = "Australasian Journal of Philosophy",
    Volume       = "89",
    Number       = "2",
    Pages        = "333-349",
    Comment      = "TPTPRef"
}