Братчиков И, Сазонова Н. Формально-графическая интерпретация логического вывода. CTE [Internet]. 2014Jan.22 [cited 2024Dec.18];0(6). Available from: http://cte.eltech.ru/ojs/index.php/kio/article/view/1243