Samir Datta Nutan Limaye Prajakta Nimbhorkar Thomas Thierauf Fabian Wagner A Log-space Algorithm for Canonization of Planar Graphs http://arxiv.org/abs/0809.2319 2008 CoRR abs/0809.2319 db/journals/corr/corr0809.html#abs-0809-2319 informal publication