"Rewriting Techniques and Applications, 10 conf., RTA-99" - читать интересную книгу автора (Paliath Narendran, Michael Rusinowitch)