Term Rewriting & All That
Publisher: Cambridge University Press
Published: Aug 28, 1999
Number of pages: 316
ISBN-13: 9780521779203