Term Rewriting Systems. (1992)

by Jan Wilhelm Klop
Venue:Handbook of Logic in Computer Science,