Kruger, Oliver. (2020). An improved method for recursively computing upper bounds for two-colour Ramsey numbers. Utilitas Mathematica, 116. Retrieved from https://utilitasmathematica.com/index.php/Index/article/view/1472