«СИСТЕМА АВТОМАТИЗАЦИИ ПРОЦЕССА РЕШЕНИЯ ЗАДАЧ. ЧАСТЬ 2. ПОСТРОЕНИЕ ДОКАЗАТЕЛЬСТВА», Компьютерные инструменты в образовании, вып. 3-4, дек. 2013, просмотрено: июл. 24, 2026. доступно на: http://cte.eltech.ru/ojs/index.php/kio/article/view/66