Term Rewriting Systems (1992)

by Jan Willem Klop
Venue:In