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