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