Половикова ОН, Зенков АВ. Решение некоторого класса логических задач на основе предикатных моделей с генератором состояний. Компьютерные инструменты в образовании [Интернет]. 28 март 2019 г. [цитируется по 15 сентябрь 2026 г.];(1):54-67. доступно на: http://cte.eltech.ru/ojs/index.php/kio/article/view/1574