2006. Автоматизация проверки решения задачи по формальному описанию ее условия. Computer Tools in Education. 4 (Aug. 2006).