@INCOLLECTION{DBLP:series/lncs/MitschP20,
pdf = {pub/tale-of-three-provers.pdf},
author = {Stefan Mitsch and
Andr{\'{e}} Platzer},
title = {A Retrospective on Developing Hybrid Systems Provers
in the {KeYmaera} Family -
{A} Tale of Three Provers},
booktitle = {Deductive Software Verification: Future Perspectives -
Reflections on the Occasion of 20 Years of {KeY}},
pages = {21-64},
year = {2020},
doi = {10.1007/978-3-030-64354-6_2},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Reiner H{\"{a}}hnle and
Matthias Ulbrich},
series = {LNCS},
volume = {12345},
publisher = {Springer},
isbn = {978-3-030-64353-9},
addresss = {}
}```