Uniform substitution at one fell swoop

@inproceedings{DBLP:conf/cade/Platzer19,
	pdf = {https://link.springer.com/content/pdf/10.1007},
	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é 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 = {}
}