Report - Formalizing Bachmair and Ganzinger’s Ordered Resolution ... · Formalizing Bachmair and Ganzinger’s Ordered Resolution Prover (Technical Report) Anders Schlichtkrull1( ), Jasmin

Please pass captcha verification before submit form