ДМИТРИЕВА, М. СИСТЕМА АВТОМАТИЗАЦИИ ПРОЦЕССА РЕШЕНИЯ ЗАДАЧ. ЧАСТЬ 2. ПОСТРОЕНИЕ ДОКАЗАТЕЛЬСТВА. Computer Tools in Education, n. 3-4, 18 Dec. 2013.