Resolution Theorem Proving (2001)

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