@Article{Hor19, Author = "Horner, J.", Year = "2019", Title = "{A Computationally Assisted Reconstruction of an Ontological Argument in Spinoza's The Ethics}", Journal = "Open Philosophy", Volume = "2", Pages = "219-229", Comment = "TPTPRef" }