"Analysis and Visualization Tools for Constraint Programming: Constraint Debugging (Lecture Notes in Computer Science)" - читать интересную книгу автора (Pierre Deransart, M.V. Hermenegildo, J. Maluszynski)