I. Blynov, “PROPAGATION-BASED CONSTRAINT SOLVER IN IMS”, ITE, no. 11, pp. 078–082, May 2012.