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