Term rewriting systems: a tutorial (1987)

by W Klop
Venue:Bull. EATCS