Одна схема доказательств в дискретной математике Ю.В. Матиясевич (1974) Zapiski naucnych seminarov Leningradskogo
Оценка хроматического числа гиперграфа и некоторых его суграфов M.A. Хачатрян (1982) Matematiceskie issledovanija
Представление доказательств раскрашенными графами и гипотеза Хадвигера П.Ю. Суворов (1979) Zapiski naucnych seminarov Leningradskogo
Проблема изоморфизма графов В.Н. Земляченко, Н.М. Корниенко, Р.И. Тышкевич (1982) Zapiski naucnych seminarov Leningradskogo
Редукция пропозициональной тавтологичности к раскрашиваемости графов в три цвета Г.В. Давыдов, П.Ю. Суворов (1974) Zapiski naucnych seminarov Leningradskogo
Хроматические и размерностные многочлены триангулированных графов В.И. Волошин (1982) Matematiceskie issledovanija