"Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings " - читать интересную книгу автора (Michael Rusinowitch, Jean-Luc Remy)