Term rewriting systems (1991)

by J W Klop
Venue:In Handbook of Logic in Computer Science