Vrijer. Examples of TRSs and Special Rewriting Formats (2003)

by J Klop, R de
Venue:Term Rewriting Systems, chapter 3