@ARTICLE{DBLP:journals/tocl/Platzer15,
  author    = {Andr{\'{e}} Platzer},
  title     = {Differential Game Logic},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {17},
  number    = {1},
  year      = {2015},
  pages     = {1:1--1:51},
  doi       = {10.1145/2817824},
  issn      = {1529-3785},
  isijournal = {{ACM} T. Comput. Log.},
  ownjournal = {{ACM} Trans. Comput. Logic},
  optnote   = {Preprint at arXiv 1408.1980}
}

@ARTICLE{DBLP:journals/corr/Platzer18:usubst,
  author    = {Andr{\'{e}} Platzer},
  title     = {Uniform Substitution 
               for Differential Game Logic},
  journal   = {CoRR},
  volume    = {abs/1804.05880},
  year      = {2018},
  eprint    = {1804.05880}
}

@INPROCEEDINGS{DBLP:conf/cade/Platzer18,
  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},
  crossref  = {DBLP:conf/cade/2018},
}

@PROCEEDINGS{DBLP:conf/cade/2018,
  editor    = {Didier Galmiche and
               Stephan Schulz and
               Roberto Sebastiani},
  title     = {Automated Reasoning, 9th International Joint Conference,
               IJCAR 2018, Oxford, UK, Proceedings},
  booktitle = {IJCAR},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {10900},
  year      = {2018},
  subseries = {LNAI},
  doi       = {10.1007/978-3-319-94205-6},
  address   = {},
}

@ARTICLE{DBLP:journals/corr/abs-1902-07230,
  author    = {Andr{\'{e}} Platzer},
  title     = {Uniform Substitution At One Fell Swoop},
  journal   = {CoRR},
  volume    = {abs/1902.07230},
  year      = {2019},
  url       = {http://arxiv.org/abs/1902.07230},
  archivePrefix = {arXiv},
  eprint    = {1902.07230},
  timestamp = {Sat, 02 Mar 2019 16:35:41 +0100},
}

@INPROCEEDINGS{DBLP:conf/cade/Platzer19,
  author    = {Andr{\'{e}} Platzer},
  title     = {Uniform Substitution At One Fell Swoop},
  booktitle = {CADE},
  longbooktitle = {International Conference on Automated Deduction, CADE'19, Natal, Brazil, Proceedings},
  year      = {2019},
  pages     = {},
  crossref  = {DBLP:conf/cade/2019},
  doi       = {},
}

@PROCEEDINGS{DBLP:conf/cade/2019,
  editor    = {Pascal Fontaine},
  longtitle     = {Automated Deduction - CADE-27, 27nd International Conference
               on Automated Deduction, Natal, Brazil, August 23-30, 2019.
               Proceedings},
  title     = {International Conference on Automated Deduction, CADE'19, Natal, Brazil, Proceedings},
  booktitle = {CADE},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {},
  year      = {2019},
  address   = {},
  isbn      = {},
  doi       = {},
}
