“PROPAGATION-BASED CONSTRAINT SOLVER IN IMS”, ITE, no. 11, pp. 078–082, May 2012, doi: 10.14308/ite000304.