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