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, vol. 116, Sep. 2020.