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{\'e} 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 and
               Aart Middeldorp},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {9195},
  eprint    = {1503.01981}
}```