Rewriting Systems, Handbook of Logic (1992)

by Term J W Klop
Venue:in Computer Science II, pp.1{112