Mehlhorn, Kurt Algorithms and Complexity, MPI for Informatics, Max Planck Society;
arXiv:1907.04065.pdf (Preprint), 679KB
Abdulaziz, M., Mehlhorn, K., & Nipkow, T. (2019). Trustworthy Graph Algorithms. Retrieved from http://arxiv.org/abs/1907.04065.