Kazuyuki Miura Machiko Azuma Takao Nishizeki Canonical Decomposition, Realizer, Schnyder Labeling And Orderly Spanning Trees Of Plane Graphs. 117-141 2005 16 Int. J. Found. Comput. Sci. 1 http://dx.doi.org/10.1142/S0129054105002905 db/journals/ijfcs/ijfcs16.html#MiuraAN05