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