Mehlhorn, Kurt Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Rizkallah, Christine Algorithms and Complexity, MPI for Informatics, Max Planck Society;
arXiv:1301.7462.pdf (Preprint), 380KB
Alkassar, E., Böhme, S., Mehlhorn, K., & Rizkallah, C. (2013). A Framework for the Verification of Certifying Computations. Retrieved from http://arxiv.org/abs/1301.7462.