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