Rewrite-based equational theorem proving with selection and simplification. J. Logic and Computation (1994)

by L Bachmair, H Ganzinger
Venue:In Ninth Annual IEEE Symposium on Logic in Computer Science