P. Kaski and P. R. J. Östergård, “One-Factorizations of Regular Graphs of Order 12”, Electron. J. Combin., vol. 12, no. 1, p. R2, Jan. 2005.