TY  - BOOK
AU  - Ohlebusch, Enno
TI  - Advanced topics in term rewriting
SN  - 9780387952505
U1  - 005.13 OHL 
PY  - 2002///
CY  - Berlin
PB  - Springer
KW  - Rewriting systems (Computer science)
N1  - Includes bibliographical references (p. [385]-405) and index
ER  -