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