DMCA

Resolution Theorem Proving (2001)

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