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