Baader, Franz <br/><br/>
Term Rewriting And All That  :  
/ Franz Baader 
 - Uk  Cambridge Univ. Press  c1998 
 - xii, 301 p.  ill.  23 cm. 
<br/><br/>Includes index 
<br/><br/><label>ISBN: </label>0521779200 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Universal Algebra; Equational Problems; Combination Problems
<br/><br/><label>Dewey Class. No.: </label>005.13  / BAA