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