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