dL_\iota: Definite descriptions in differential dynamic logic

@INPROCEEDINGS{DBLP:conf/cade/BohrerFP19,
	pdf = {pub/hilbert-epsilon.pdf},
	slides = {pub/hilbert-epsilon-slides.pdf},
	TR = {DBLP:conf/cade/BohrerFP19:TR},

  author    = {Brandon Bohrer and
               Manuel Fern{\'{a}}ndez and
               Andr{\'{e}} Platzer},
  title     = {{dL$_\iota$}: Definite Descriptions in Differential Dynamic Logic},
  booktitle = {CADE},
  longbooktitle = {International Conference on Automated Deduction, {CADE-27}, Natal, Brazil, Proceedings},
  year      = {2019},
  pages     = {94-110},
  doi       = {10.1007/978-3-030-29436-6_6},
  editor    = {Pascal Fontaine},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {11716},
  address   = {},
}```