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