В. Кондратьев, А. Семенов, и О. Заикин, «Дубликаты конфликтных ограничений в CDCL-выводе и их использование в задачах обращения некоторых криптографических функций», Num. Meth. Prog., т. 20, вып. 59, сс. 54–66, фев. 2019.