BlynovI. PROPAGATION-BASED CONSTRAINT SOLVER IN IMS. Journal of Information Technologies in Education (ITE), n. 11, p. 078-082, 30 May 2012.