@misc{indiciaeb9d8725a23da,
  title = {A Framework for the Verification of Certifying Computations},
  author = {Eyad Alkassar and Sascha Böhme and Kurt Mehlhorn and Christine Rizkallah},
  year = {2013},
  url = {https://arxiv.org/abs/1301.7462},
  note = {Source identifier: 1301.7462}
}