Conditional rewrite rules: Confluence and termination (1982)

by J A Bergstra, W Klop
Venue:Report IW 198/82 MEI, Mathematische Centrum