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