@INPROCEEDINGS{BohrerCPP17,
  author    = {Rose Bohrer and
               Vincent Rahli and
               Ivana Vukotic and
               Marcus V{\"o}lp and
               Andr{\'e} Platzer},
  title     = {Formally Verified Differential Dynamic Logic},
  pages     = {208-221},
  year      = {2017},
  editor    = {Yves Bertot and
               Viktor Vafeiadis},
  booktitle = {Certified Programs and Proofs -
               6th ACM SIGPLAN Conference, CPP 2017,
               Paris, France, January 16-17, 2017},
  publisher = {{ACM}},
}

@ARTICLE{DBLP:journals/jar/Platzer16,
  author    = {Andr{\'e} Platzer},
  title     = {A Complete Uniform Substitution Calculus 
               for Differential Dynamic Logic},
  journal   = {J. Autom. Reas.},
  longjournal = {Journal of Automated Reasoning},
  year      = {2016},
  volume    = {},
  number    = {},
  pages     = {},
  doi       = {10.1007/s10817-016-9385-1},
}

@INPROCEEDINGS{DBLP:conf/cade/Platzer15,
  author    = {Andr{\'e} Platzer},
  title     = {A Uniform Substitution Calculus 
               for Differential Dynamic Logic},
  booktitle = {CADE},
  longbooktitle = {International Conference on
               Automated Deduction, CADE'15, Berlin,
               Germany, Proceedings},
  year      = {2015},
  pages     = {467-481},
  doi       = {10.1007/978-3-319-21401-6_32},
  editor    = {Amy P. Felty and
               Aart Middeldorp},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {9195},
  eprint    = {1503.01981}
}
