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