Original language | English |
---|---|
Place of Publication | Archive of Formal Proofs |
Publication status | Published - 2018 |
Formalization of Bachmair and Ganzinger's ordered resolution prover
Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel, Uwe Waldmann
Research output: Online publication or Non-textual form › Online publication or Website › Academic