@Unpublished{Hor20,
    Author       = "Horner, J.",
    Year         = "2020",
    Title        = "{A Conditionally Constructive Variant of Tarski’s Elementary Geometry}",
    Note         = "{https://jkhorner.com/GEOMETRY/JKH20201228_0734CT_CCWCTEG.pdf}",
    Comment      = "TPTPRef"
}