Kruger, Oliver 2020. An improved method for recursively computing upper bounds for two-colour Ramsey numbers. Utilitas Mathematica . 116, (Sep. 2020).