2010. Формально-графическая интерпретация логического вывода. Computer Tools in Education. 6 (Dec. 2010).