Term Rewriting Systems. Cambridge Tracts in Theoretical Computer Science 55 (2003)

by Terese