Term Rewriting Systems (1992)

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