Половикова, Ольга Николаевна, и Алексей Владимирович Зенков. «Решение некоторого класса логических задач на основе предикатных моделей с генератором состояний». Компьютерные инструменты в образовании, вып. 1, март 2019 г., сс. 54-67, https://doi.org/10.32603/2071-2340-2019-1-54-67.