
@article {FrameworkVerificationofCertifyingComputations,
author={E.~Alkassar and S.~B\"ohme and K.~Mehlhorn and C.~Rizkallah},
title={A Framework for the Verification of Certifying Computations},
   journal = {Journal of Automated Reasoning},
   year = {2013},
   note={To Appear}
}