"Term Rewriting and Applications, 16 conf., RTA 2005" - читать интересную книгу автора (Jürgen Giesl)