Resolution Theorem Proving (2001)

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