@Article{SB+18-AFP,
    Author       = "Schlichtkrull, A. and Blanchette, J. and Traytel, D.",
    Year         = "2018",
    Title        = "{Formalization of Bachmair and Ganzinger's Ordered Resolution Prover}",
    Journal      = "Archive of Formal Proofs",
    Pages        = "1-118",
    Comment      = ""
}