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