(1)
Половикова, О. Н.; Зенков, А. В. Решение некоторого класса логических задач на основе предикатных моделей с генератором состояний. КИО 2019, 54-67.