Mehlhorn, K., & Mutzel, P. (1996). On the Embedding Phase of the Hopcroft and Tarjan Planarity Testing Algorithm. Algorithmica, 16, 233-242.