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