Conditional rewrite rules: Confluence and termination (1986)

by J A BERGSTRA, J W KLOP
Venue:J. Comput. Syst. Sci