Nipkow, Tobias, 1958- <br/><br/>
Term rewriting and all that  

 - Cambridge :  Cambridge University Press  1998 
 - xii, 301 p. : ill. ; 26 cm. 
<br/><br/> Includes bibliographical references 
<br/><br/><label>ISBN: </label>0521455200 
<br/><br/><label>Subjects--Topical Terms: </label><br/>REWRITING SYSTEMS (COMPUTER SCIENCE)
<br/><br/><label>LC Class. No.: </label>QA 267 Baa