G.: Planar graphs, via wellorderly maps and trees (2006)

by N Bonichon, C Gavoille, N Hanusse, D Poulalhon, Schaeffer
Venue:Graph. Combinator