"Constraints in Computational Logics: First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings " - читать интересную книгу автора (Jean-Pierre Jouannaud)