Conditional Rewrite Rules: Confluence and Termination (1986)

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