Terese
Term Rewriting Systems - Cambridge Cambridge University Press 2003 - xxii, 884p. - Cambridge Tracts in Theoretical Computer Science no. 55. .
978-0-521-39115-3
Term Rewriting Systems - Cambridge Cambridge University Press 2003 - xxii, 884p. - Cambridge Tracts in Theoretical Computer Science no. 55. .
978-0-521-39115-3