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