TY - BOOK AU - Kirchner Claude ED - International Conference on Rewriting Techniques and Applications( 5th : 1993 : Montreal ) ED - International Conference on Rewriting Techniques and Applications 5th TI - Rewriting techniques and applications : proceedings SN - 3-540-56868-9 U1 - 5.1 PY - 1993/// CY - Berlin PB - Springer Verlag KW - Computer programming ER -