М. Дмитриева, “СИСТЕМА АВТОМАТИЗАЦИИ ПРОЦЕССА РЕШЕНИЯ ЗАДАЧ. ЧАСТЬ 2. ПОСТРОЕНИЕ ДОКАЗАТЕЛЬСТВА”, CTE, no. 3-4, Dec. 2013.