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