Стратегия упорядочивания дизъюнктов в методе резолюций В.И. Шаронов — 1974 Issledovanija po prikladnoj matematike
Стратегия дефакторизации в методе резолюций В.И. Шаронов — 1974 Issledovanija po prikladnoj matematike
О применении стратегии упорядочивания дизьюктов для одной модификации метода резолюций В.И. Шаронов — 1988 Issledovanija po prikladnoj matematike
Применение изограмм в поиске вывода Н.К. Замов; В.И. Шаронов — 1973 Issledovanija po prikladnoj matematike
Об одном классе стратегий, применяемых при установлении доказуемости методом резолюций Н.К. Замов; В.И. Шаронов — 1969 Zapiski naucnych seminarov Leningradskogo