A retrospective on developing hybrid systems provers in the KeYmaera family - A tale of three provers

@incollection{DBLP:series/lncs/MitschP20,
	pdf = {pub/tale-of-three-provers.pdf},
	author = {['Stefan Mitsch', 'André 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', 'Bernhard Beckert', 'Richard Bubel', 'Reiner Hähnle', 'Matthias Ulbrich']},
	series = {LNCS},
	volume = {12345},
	publisher = {Springer},
	isbn = {978-3-030-64353-9},
	addresss = {}
}