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