Kruger, Oliver. “An Improved Method for Recursively Computing Upper Bounds for Two-Colour Ramsey Numbers”. Utilitas Mathematica, vol. 116, Sept. 2020, https://utilitasmathematica.com/index.php/Index/article/view/1472.