Implicit definitions with differential equations for KeYmaera X - (system description)

@inproceedings{DBLP:conf/cade/GallicchioTMP22,
	slides = {pub/KeYmaeraX-functions-slides.pdf},
	author = {['James Gallicchio', 'Yong Kiam Tan', 'Stefan Mitsch', 'André Platzer']},
	title = {Implicit Definitions with Differential Equations for KeYmaera X
               - (System Description)},
	booktitle = {IJCAR},
	longbooktitle = {Automated Reasoning, International
               Joint Conference, IJCAR 2022, Proceedings},
	year = {2022},
	pages = {723-733},
	doi = {10.1007/978-3-031-10769-6_42},
	editor = {['Jasmin Blanchette', 'Laura Kovács', 'Dirk Pattinson']},
	publisher = {Springer},
	series = {LNCS},
	volume = {13385}
}