СИСТЕМА АВТОМАТИЗАЦИИ ПРОЦЕССА РЕШЕНИЯ ЗАДАЧ. ЧАСТЬ 2. ПОСТРОЕНИЕ ДОКАЗАТЕЛЬСТВА // Computer Tools in Education. St. Petersburg, Russia, 2013. № 3-4.