Van Der Merwe, Lucas, and Loizeaux, Marc. “Bounds on the Order of 4-Critical Graphs With Diameter Two”. Utilitas Mathematica, vol. 78, May 2009, https://utilitasmathematica.com/index.php/Index/article/view/642.