"Rewriting Techniques and Applications, 8 conf., RTA-97" - читать интересную книгу автора (Hubert Comon)