Перченок, О.В., Поздняков, С.Н. and Посов, И. 2014. Автоматизация проверки решения геометрических задач по описанию их условий на предметно-ориентированном языке. Computer Tools in Education. 1 (Jan. 2014).