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