Mehlhorn, K., & Yap, C.-K. (1988). Constructive Hopf's theorem: or how to untangle closed planar curves.