Представление доказательств раскрашенными графами и гипотеза Хадвигера П.Ю. Суворов — 1979 Zapiski naucnych seminarov Leningradskogo
О распознавании тавтологичности пропозициональных формул П.Ю. Суворов — 1976 Zapiski naucnych seminarov Leningradskogo
Редукция пропозициональной тавтологичности к раскрашиваемости графов в три цвета Г.В. Давыдов; П.Ю. Суворов — 1974 Zapiski naucnych seminarov Leningradskogo