Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel, Uwe Waldmann. Formalization of Bachmair and Ganzinger's Ordered Resolution Prover. Archive of Formal Proofs, 2018, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.