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