@Article{SBT18,
    Author       = "Schlichtkrull, A. and Blanchette, J. and Traytel, D.",
    Year         = "2018",
    Title        = "{A Verified Functional Implementation of Bachmair and
                    Ganzinger's Ordered Resolution Prover}",
    Journal      = "Archive of Formal Proofs",
    Pages        = "1-65",
    Comment      = ""
}