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