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