On complementary principles of object-oriented constraint programming. - Vitaly A. Semenov; K. V. Dragalov; Denis V. Ilyin; Sergei V. Morozov; O. V. Sidyaka (Program. Comput. Softw., 2010)