Resolution Theorem Proving (2001)

by Leo Bachmair, Harald Ganzinger