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é Platzer', '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', 'Erich Grä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}
}