TY - BOOK AU - Lescanne Pierre Ed. TI - Rewriting techniques and applications T2 - Lecture notes in computer science; 256 U1 - D65,8(B), M7 PY - 1987/// CY - Berlin PB - Springer Verlag KW - Computer science ER -