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