Skip to main navigation Skip to search Skip to main content

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

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

Persistent URL (handle)

Cite this