"Term Rewriting and Applications, 17 conf., RTA 2006" - читать интересную книгу автора (Frank Pfenning)