Term Rewriting Systems (Cambridge Tracts in Theoretical Computer Science, Band 55)