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

@INPROCEEDINGS{DBLP:conf/cade/GallicchioTMP22,
	slides = {pub/KeYmaeraX-functions-slides.pdf},

  author    = {Gallicchio, James and
               Tan, Yong Kiam and
               Mitsch, Stefan and
               Platzer, Andr{\'e}},
  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 and
               Laura Kov{\'{a}}cs and
               Dirk Pattinson},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {13385},
}```