Mehlhorn, Kurt Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Rizkallah, Christine Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Alkassar, E., Böhme, S., Mehlhorn, K., & Rizkallah, C. (2011). Verification of Certifying Computations. In G. Gopalakrishnan, & S. Qadeer (Eds.), Computer Aided Verification (pp. 67-82). Berlin: Springer.