Blynov, I. “PROPAGATION-BASED CONSTRAINT SOLVER IN IMS”. Journal of Information Technologies in Education (ITE), no. 11, May 2012, pp. 078-82, doi:10.14308/ite000304.