Uniform substitution at one fell swoop

@INPROCEEDINGS{DBLP:conf/cade/Platzer19,
	pdf = {https://link.springer.com/content/pdf/10.1007%2F978-3-030-29436-6_25.pdf},
	slides = {pub/dGL-usubst-one-slides.pdf},
	study = {http://isa-afp.org/entries/Differential_Game_Logic.html},
	errata = {pub/dGL-usubst-one-errata.txt},

  author    = {Andr{\'{e}} Platzer},
  title     = {Uniform Substitution At One Fell Swoop},
  booktitle = {CADE},
  longbooktitle = {International Conference on Automated Deduction, {CADE-27}, Natal, Brazil, Proceedings},
  year      = {2019},
  pages     = {425-441},
  doi       = {10.1007/978-3-030-29436-6_25},
  editor    = {Pascal Fontaine},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {11716},
  address   = {},
}```