Klop [1992], Term rewriting systems (1992)

by J W
Venue:Handbook of logic in computer science, Vol.2