Term rewriting systems: a tutorial (1987)

by J W Klop
Venue:Bulletin of the EATCS