Кулик БА. Расширение возможностей логического анализа за счет уточнения интерпретации исчисления предикатов. ИК [Интернет]. 29 ноябрь 2022 г. [цитируется по 30 апрель 2025 г.];(3(29):5-14. доступно на: https://ojs.donntu.ru/index.php/infcyb/article/view/51