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