Differential refinement logic

@inproceedings{DBLP:conf/lics/LoosP16,
	pdf = {https://dl.acm.org/doi/pdf/10.1145/2933575.2934555},
	slides = {pub/dRL-slides.pdf},
	author = {['Sarah M. Loos', 'André Platzer']},
	title = {Differential Refinement Logic},
	booktitle = {LICS},
	year = {2016},
	pages = {505-514},
	doi = {10.1145/2933575.2934555},
	longbooktitle = {Proceedings of the 31st Annual
               ACM/IEEE Symposium on Logic in Computer
               Science, LICS '16, New York, NY, USA,
               July 5-8, 2016},
	publisher = {ACM},
	editor = {['Martin Grohe', 'Eric Koskinen', 'Natarajan Shankar']}
}