Братчиков, И. and Сазонова, Н. 2014. Формально-графическая интерпретация логического вывода. Computer Tools in Education. 6 (Jan. 2014).