@TechReport{vdH:dcl,
  author = 	 {Hoeven, J. van der},
  title = 	 {Making differential closure more explicit},
  institution =  {HAL},
  year = 	 {2026},
  note = 	 {\url{https://hal.science/hal-05664218}}
}