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