Uniform substitution for differential game logic

@INPROCEEDINGS{DBLP:conf/cade/Platzer18,
	pdf = {pub/dGL-usubst.pdf},
	slides = {pub/dGL-usubst-slides.pdf},

  author    = {Andr{\'{e}} 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 and
               Stephan Schulz and
               Roberto Sebastiani},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {10900},
  subseries = {LNAI},
}```