"Term Rewriting and All That" - читать интересную книгу автора (Franz Baader, Tobias Nipkow)