СИСТЕМА АВТОМАТИЗАЦИИ ПРОЦЕССА РЕШЕНИЯ ЗАДАЧ. ЧАСТЬ 2. ПОСТРОЕНИЕ ДОКАЗАТЕЛЬСТВА // Компьютерные инструменты в образовании. Санкт-Петербург, Россия, 2013. № 3-4.