Resolution Theorem Proving (2001)

by Leo Bachmair , Harald Ganzinger
Citations:153 - 1 self

Document Versions

Resolution Theorem Proving –Leo Bachmair, Harald Ganzinger — 2001
Resolution Theorem Proving –Leo Bachmair, Harald Ganzinger, Second Readers David Mcallester, Christopher Lynch — 2001