TY  - BOOK
AU  - Dershowitz, N. Ed.
TI  - Rewriting techniques and applications: Proceedings, 3rd Int.Conf., North Carolina, 1989
SN  - 3540510818
CY  - Berlin
KW  - Rewriting Techniques and Applications
ER  -