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