TY - BOOK AU - Jantzen, Matthias TI - CONFLUENT STRING REWRITING SN - 0387137157 U1 - 511.3 PY - 1988/// CY - Berlin PB - Springer-Verlag KW - Rewriting Systems (Computer Science) ER -