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