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', 'Manuel Fernández', 'André 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 = {}
}