Term rewriting systems (1992)

by J W KLOP
Venue:In Handbook of Logic in Computer Science. Volume 2: Mathematical Structures