Sun, Yongqi, Yang, Yuansheng, Lin, Xiaohui, and Zheng, Wenping. “The Value of the Ramsey Number R4(C4)”. Utilitas Mathematica, vol. 73, June 2007, https://utilitasmathematica.com/index.php/Index/article/view/481.