TY  - BOOK
AU  - Kaplan,Stephane
AU  - Okada,Mitsuhiro
ED  - International Workshop CTRS
TI  - Conditional and typed rewriting systems: 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings 
SN  - 3540543171
AV  - QA267 I578 1990
PY  - 1991///
CY  - Berlin
PB  - Springer-Verlag
KW  - Rewriting systems (Computer science)
KW  - Congresses
ER  -