N. Matsumoto, “The Size of Edge-critical Uniquely 3-Colorable Planar Graphs”, Electron. J. Combin., vol. 20, no. 3, p. P49, Sep. 2013.