"Rewriting Techniques and Applications, 3 conf., RTA-89" - читать интересную книгу автора (Nachum Dershowitz)