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