Автоматизация проверки решения геометрических задач по описанию их условий на предметно-ориентированном языке // Comput. Tools Educ. St. Petersburg, Russia, 2012. № 1.