The Predicate Elimination Strategy in Theorem Proving

Raymond Reiter

Browse the full STOC paper archive.