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