"Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings " - читать интересную книгу автора (Nachum Dershowitz, Naomi Lindenstrauss)