P. Prałat, “$\overline{\cal R}(3,4)=17$”, Electron. J. Combin., vol. 15, no. 1, p. R67, May 2008.