L. Jin, Y. Kang, and E. Steffen, “Face-Degree Bounds for Planar Critical Graphs”, Electron. J. Combin., vol. 23, no. 3, p. P3.21, Aug. 2016.