TY  - BOOK
AU  - Remy,J.L.
AU  - Rusinowitch,Michael
ED  - International Workshop CTRS
TI  - Conditional term rewriting systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992 : proceedings 
SN  - 3540563938
AV  - QA267 I578 1992
PY  - 1993///
CY  - Berlin
PB  - Springer-Verlag
KW  - Rewriting systems (Computer science)
KW  - Congresses
ER  -