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