Blynov, I. (2012). PROPAGATION-BASED CONSTRAINT SOLVER IN IMS. ournal of nformation echnologies in ducation (ITE), (11), 078–082. https://doi.org/10.14308/ite000304