Resolution Theorem Proving (2001)

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