"Constraint Processing.. selected papers" - читать интересную книгу автора (Manfred Meyer)