@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"
}