@article{AlkassarJAR2014,
TITLE = {A Framework for the Verification of Certifying Computations},
AUTHOR = {Alkassar, Eyad and B{\"o}hme, Sascha and Mehlhorn, Kurt and Rizkallah, Christine},
LANGUAGE = {eng},
ISSN = {0168-7433; 1573-0670},
DOI = {10.1007/s10817-013-9289-2},
PUBLISHER = {Springer},
ADDRESS = {Dordrecht, Holland},
YEAR = {2014},
DATE = {2014},
JOURNAL = {Journal of Automated Reasoning},
VOLUME = {52},
NUMBER = {3},
PAGES = {241--273},
}