Differential equation axiomatization: The impressive power of differential ghosts

@INPROCEEDINGS{DBLP:conf/lics/PlatzerT18,
	pdf = {https://dl.acm.org/doi/pdf/10.1145/3209108.3209147},
	slides = {pub/diffaxiomatic-slides.pdf},
	ref = {DBLP:journals/jacm/PlatzerT20},
	refname = {JACM'20},

  author    = {Andr{\'{e}} Platzer and
               Yong Kiam Tan},
  title     = {Differential Equation Axiomatization:
               The Impressive Power of Differential Ghosts},
  booktitle = {LICS},
  year      = {2018},
  pages     = {819-828},
  doi       = {10.1145/3209108.3209147},
  editor    = {Anuj Dawar and
               Erich Gr{\"{a}}del},
  longbooktitle = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in
               Computer Science},
  publisher = {ACM},
  key       = {LICS},
  isbn      = {978-1-4503-5583-4},
  address   = {New York},
}```