@InProceedings{Hor25,
    Author       = "Horner, J.",
    Year         = "2025",
    Title        = "{A Finite-Domain-Based Automated Proof of the Consistency of a
                    Segment-Construction Variant of Tarski’s Elementary Geometry}",
    Editor       = "Arabnia, H.R. and Deligiannidis, L. and Shenavarmasouleh, F. and Amirian, S.
                    and Ghareh Mohammadi, F.",
    BookTitle    = "{Proceedings of the 11th International Conference on Computational Science and
                    Computational Intelligence}",
    Place        = "Las Vegas, USA",
    Series       = "Communications in Computer and Information Science",
    Number       = "2502",
    Pages        = "312-320",
    Publisher    = "Springer",
    Address      = "Berlin, Germany",
    DOI          = "{10.1007/978-3-031-94937-1_25}",
    Comment      = "TPTPRef"
}