Term rewriting systems, Handbook of Logic in (1992)

by Jan Willem Klop
Venue:Computer Science