A verified functional implementation of Bachmair and Ganzinger's ordered resolution prover

Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel

Research output: Online publication or Non-textual formOnline publication or WebsiteAcademic

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

Cite this