"Term Rewriting and Applications, 18 conf., RTA 2007" - читать интересную книгу автора (Franz Baader)