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