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