TY  - BOOK
AU  - Kaplan S
ED  - International CTRS Workshop( 2nd : 1990 : Montreal )
ED  - International CTRS Workshop 2nd
TI  - Conditional and typed rewriting systems : proceedings
SN  - 3-540-54317-1
U1  - 5.42 
PY  - 1991///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer programming
KW  - Typed rewriting systems
ER  -