КУЛИК, Б. А. . Расширение возможностей логического анализа за счет уточнения интерпретации исчисления предикатов. Информатика и кибернетика, [S. l.], n. 3(29), p. 5–14, 2022. Disponível em: https://ojs.donntu.ru/index.php/infcyb/article/view/51. Acesso em: 16 июн. 2025.