TY  - BOOK
AU  - Terese 
TI  - Term Rewriting Systems: : 
SN  - 9780521391153
U1  - 005.131 
PY  - 2003///
CY  - Uk
PB  -  Cambridge University Press
KW  -  Rewriting Systems (Computer Science); Trs Rewriting Formats
N1  - index
ER  -