Advanced Topics in Term Rewriting by Enno Ohlebusch, Springer Verlag, 2002

• Authors:

• Nimish Shah

• Affiliations:

• -

• Venue:
• Journal of Functional Programming
• Year:
• 2006