TY - BOOK AU - Book, Ronald V. AU - Otto, Friedrich TI - String rewriting systems SN - 0387979654 U1 - 005.131 PY - 1993/// CY - New York PB - Springer KW - Rewriting systems (Computer Science) ER -