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