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