TY  - BOOK
AU  - Kaplan, S. Ed.
AU  - Jouannaud, J P. Ed.
TI  - Conditional Term Rewriting Systems: Proceedings, 1st Int. Workshop, Orsay, France, 1987
SN  - 3540192425
CY  - Berlin
KW  - Rewriting Systems
ER  -