Term rewriting systems (1992)

by J W Klop
Venue:Handbook of Logic in Computer Science, volume 2 (Background: Computational Structures