@other{https://resolver.caltech.edu/CaltechTHESIS:04122012-090812718,
    title = "Toward a Theorem Proving Architecture",
    url = "https://resolver.caltech.edu/CaltechTHESIS:04122012-090812718",
    id = "record",
    doi = "10.7907/ctky-sp95"
}