(1)
Kruger, Oliver. An Improved Method for Recursively Computing Upper Bounds for Two-Colour Ramsey Numbers. A Canadian journal of applied mathematics, computer science and statistics 2020, 116.