Baader, Franz <br/><br/>
Term rewriting and all that 
by Franz Baader and Tobias Nipkow 
 - Cambridge  Cambridge University Press  c1998 
 - xii,301p.: fig.; 22cm.  
<br/><br/><label>ISBN: </label>0521455200 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Rewriting systems(computer science) <br/>Term rewriting--(computer science)
<br/><br/><label>Dewey Class. No.: </label>401.51  / BAA