Inference rules for rewrite-based rst-order theorem proving (1987)

by L Bachmair, N Dershowitz
Venue:In Proceedings of the Second IEEE Symposium on Logic in Computer Science