Term Rewriting Systems, Handbook of Logic in Computer Science edited by (1992)

by J W Klop