Uniform substitution for differential game logic

@inproceedings{DBLP:conf/cade/Platzer18,
	pdf = {pub/dGL-usubst.pdf},
	slides = {pub/dGL-usubst-slides.pdf},
	author = {['André Platzer']},
	title = {Uniform Substitution for Differential Game Logic},
	booktitle = {IJCAR},
	longbooktitle = {Automated Reasoning, 9th International Joint Conference,
               IJCAR 2018, Oxford, UK, Proceedings},
	year = {2018},
	pages = {211-227},
	doi = {10.1007/978-3-319-94205-6_15},
	editor = {['Didier Galmiche', 'Stephan Schulz', 'Roberto Sebastiani']},
	publisher = {Springer},
	series = {LNCS},
	volume = {10900},
	subseries = {LNAI}
}