G. Gutowski, “Every Plane Graph is Facially-Non-Repetitively $C$-choosable”, Electron. J. Combin., vol. 25, no. 1, p. P1.74, Mar. 2018.