Resolution theorem proving (0)

by L Bachmair, H Ganzinger
Venue:In Handbook of Automated Reasoning