Половикова, Ольга Николаевна, и Алексей Владимирович Зенков. «Решение некоторого класса логических задач на основе предикатных моделей с генератором состояний». Компьютерные инструменты в образовании, no. 1 (март 28, 2019): 54-67. просмотрено июль 15, 2020. http://cte.eltech.ru/ojs/index.php/kio/article/view/1574.