TY  - BOOK
AU  - Rusinowitch M
ED  - International Workshop on Conditional Term Rewriting Systems( 3rd : 1992 : France )
ED  - International Workshop on Conditional Term Rewriting Systems 3rd
TI  - Conditional term rewriting systems : proceedings
SN  - 3-540-56393-8
U1  - 5.42 
PY  - 1993///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer programming
KW  - Term rewriting systems
ER  -