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