@other{https://resolver.caltech.edu/CaltechCSTR:1985.5185-tr-85,
    title = "Combining Computation with Geometry",
    year = "1984",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5185-tr-85",
    id = "record",
    doi = "10.7907/pbcnt-e7f79"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1981.4653-tr-81,
    title = "Toward a Theorem Proving Architecture",
    year = "1981",
    url = "https://resolver.caltech.edu/CaltechCSTR:1981.4653-tr-81",
    id = "record",
    doi = "10.7907/r0zky-s7g09"
}