"Rewriting Techniques and Applications, 19 conf., RTA 2008" - читать интересную книгу автора (Andrei Voronkov)