@InProceedings{AhrendtKovacsRobillard15,
  year={2015},
  isbn={978-3-662-48898-0},
  booktitle={Logic for Programming, Artificial Intelligence, and Reasoning},
  volume={9450},
  series={Lecture Notes in Computer Science},
  editor={Davis, Martin and Fehnker, Ansgar and McIver, Annabelle and Voronkov, Andrei},
  doi={10.1007/978-3-662-48899-7_30},
  title={Reasoning About Loops Using Vampire in KeY},
  url={http://dx.doi.org/10.1007/978-3-662-48899-7_30},
  publisher={Springer Berlin Heidelberg},
  author={Ahrendt, Wolfgang and Kov{\'a}cs, Laura and Robillard, Simon},
  pages={434-443},
  language={English}
}