БРАТЧИКОВ, И.; САЗОНОВА, Н. Формально-графическая интерпретация логического вывода. Computer Tools in Education, n. 6, 22 Jan. 2014.