TY  - BOOK
AU  - Jouannaud Jean-Pierre
ED  - International Conference on Rewriting Techniques & Applications( 1st : 1985 : France )
ED  - International Conference on Rewriting Techniques & Applications 1st
TI  - Rewriting techniques & applications : proceedings
SN  - 3-540-17220-3
U1  - 5.1 
PY  - 1985///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer programming
ER  -