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