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