R. Lukoťka, “Avoiding 7-Circuits in 2-Factors of Cubic Graphs”, Electron. J. Combin., vol. 21, no. 4, p. P4.25, Nov. 2014.