Conditional rewrite rules: Confluence and termination (1986)

by J Bergstra, J Klop
Venue:Journal of Computer and System Sciences