Перченок, О. В., Поздняков, С. Н., & Посов, И. (2014). Автоматизация проверки решения геометрических задач по описанию их условий на предметно-ориентированном языке. Computer Tools in Education, (1). Retrieved from http://cte.eltech.ru/ojs/index.php/kio/article/view/1293