Uniform substitution for differential refinement logic

@inproceedings{DBLP:conf/cade/PrebetP24,
	author = {['Enguerrand Prebet', 'André Platzer']},
	title = {Uniform Substitution for Differential Refinement Logic},
	booktitle = {IJCAR},
	longbooktitle = {Automated Reasoning, International
               Joint Conference, IJCAR 2024, Proceedings},
	year = {2024},
	pages = {},
	doi = {},
	editor = {['Chris Benzmüller', 'Marijn Heule', 'Renate Schmidt']},
	publisher = {Springer},
	series = {LNCS},
	volume = {}
}