Baader, Franz. <br/><br/>
Term rewriting and all that / 
Franz Baader and Tobias Nipkow. 
 - New York :  Cambridge University Press,  1999. 
 - xii, 301 p. :  ill. ;  25 cm. 
<br/><br/><label>ISBN: </label>9780521779203 (pbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Rewriting systems (Computer science)
<br/><br/><label>Dewey Class. No.: </label>005.131 BAA