Uniform substitution for differential refinement logic

@INPROCEEDINGS{DBLP:conf/cade/PrebetP24,

  author    = {Prebet, Enguerrand and
               Platzer, Andr{\'{e}}},
  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\"uller and
               Marijn Heule and
               Renate Schmidt},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {},
}```