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