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