Commutation, transformation, and termination (1986)

by L Bachmair, N Dershowitz
Venue:Proceedings of the Eighth International Conference on Automated Deduction