О применении стратегии упорядочивания дизьюктов для одной модификации метода резолюций В.И. Шаронов (1988) Issledovanija po prikladnoj matematike
О сложности линейных выводов в методе резолюций Р.К. Самитов (1983) Verojatnostnye metody i kibernetika
Об одной модификации талтики с упорядочиванием в методе резолюций Н.К. Замов (1988) Issledovanija po prikladnoj matematike