"Recent Advances in Constraints" - читать интересную книгу автора (Javier Larrosa, Barry O'Sullivan)