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