A complete uniform substitution calculus for differential dynamic logic

@article{DBLP:journals/jar/Platzer17,
	pdf = {https://link.springer.com/content/pdf/10.1007/s10817-016-9385-1.pdf},
	author = {['André Platzer']},
	title = {A Complete Uniform Substitution Calculus
               for Differential Dynamic Logic},
	journal = {J. Autom. Reas.},
	longjournal = {Journal of Automated Reasoning},
	year = {2017},
	volume = {59},
	number = {2},
	pages = {219-265},
	doi = {10.1007/s10817-016-9385-1}
}