Семещук, І., & Семещук, Т. (2011). Оцінювання навчальних досягнень учнів на основі модальної логіки в середовищі Matlab. Науковий часопис Українського державного університету імені Михайла Драгоманова. Серія 2. Комп’ютерно-орієнтовані системи навчання, (11 (18), 125–131. вилучено із https://sj.udu.edu.ua/index.php/kosn/article/view/188