EasyChair Smart Slide
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover