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