Term Rewriting Systems: a tutorial (1987)

by J W Klop
Venue:EATCS Bulletin