Семещук, І.; Семещук, Т. Оцінювання навчальних досягнень учнів на основі модальної логіки в середовищі Matlab. kosn 2011, 125-131.