Перченок ОВ, Поздняков СН, Посов И. Автоматизация проверки решения геометрических задач по описанию их условий на предметно-ориентированном языке. CTE [Internet]. 2014Jan.23 [cited 2024Dec.18];0(1). Available from: http://cte.eltech.ru/ojs/index.php/kio/article/view/1293