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 formOnline publication or WebsiteAcademic

Original languageEnglish
Place of PublicationArchive of Formal Proofs
Publication statusPublished - 2018

Cite this