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