@InProceedings{SBT19,
    Author       = "Schlichtkrull, A. and Blanchette, J. and Traytel, D.",
    Year         = "2019",
    Title        = "{A Verified Prover Based on Ordered Resolution}",
    Editor       = "Mahboubi, A. and Myreen, M.",
    BookTitle    = "{Proceedings of the 8th ACM SIGPLAN International Conference on Certified
                    Programs and Proofs}",
    Place        = "Cascais, Portugal",
    Pages        = "152-165",
    Publisher    = "ACM Press",
    Comment      = ""
}