Blynov, I.O. “PROPAGATION-BASED CONSTRAINT SOLVER IN IMS”. Journal of Information Technologies in Education (ITE), no. 11 (May 30, 2012): 078–082. Accessed November 8, 2024. https://ite.kspu.edu/index.php/ite/article/view/406.