@ARTICLE{Edmonds:matching,
  author = {J. Edmonds},
  title = {Maximum Matching and a polyhedron with 0,1 - vertices},
  journal = {Journal of Research of the National Bureau of Standards},
  year = {1965},
  volume = {69B},
  pages = {125--130}
}

@inproceedings{VerificationofCertifyingComputations,
title={Verification of Certifying Computations},
author={E.~Alkassar and S.~B\"ohme and K.~Mehlhorn and C.~Rizkallah},
booktitle = {Proceedings of the 23rd International Conference on Computer Aided Verfication (CAV2011)},
year={2011},
address={Cliff Lodge, Snowbird, Utah, USA},
note={To Appear}
}