TY  - BOOK
AU  - Dershowitz,Nachum
ED  - International Conference on Rewriting Techniques and Applications
TI  - Rewriting techniques and applications: 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings 
SN  - 3540510818
AV  - QA267 I555 1989
PY  - 1989///
CY  - Berlin
PB  - Springer-Verlag
KW  - Rewriting systems (Computer science)
KW  - Congresses
KW  - Electronic digital computers
KW  - Programming
KW  - Algorithms
ER  -