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