Mehlhorn, Kurt Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Schweitzer, Pascal Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Mehlhorn, K., & Schweitzer, P. (2010). Progress on Certifying Algorithms. In D.-T. Lee, D. Z. Chen, & S. Ying (Eds.), Frontiers in Algorithmics (pp. 1-5). Berlin: Springer.