A uniform substitution calculus for differential dynamic logic

@inproceedings{DBLP:conf/cade/Platzer15,
	pdf = {pub/usubst.pdf},
	slides = {pub/usubst-slides.pdf},
	ref = {DBLP:journals/jar/Platzer17},
	refname = {JAR'17},
	author = {['André Platzer']},
	title = {A Uniform Substitution Calculus
               for Differential Dynamic Logic},
	booktitle = {CADE},
	longbooktitle = {International Conference on
               Automated Deduction, CADE-25, Berlin,
               Germany, Proceedings},
	year = {2015},
	pages = {467-481},
	doi = {10.1007/978-3-319-21401-6_32},
	editor = {['Amy P. Felty', 'Aart Middeldorp']},
	publisher = {Springer},
	series = {LNCS},
	volume = {9195},
	eprint = {1503.01981}
}