Братчиков, И.; Сазонова, Н. Формально-графическая интерпретация логического вывода. CTE 2014.