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