An equivalence theorem for regular differential chains

François Boulier, François Lemaire, Adrien Poteaux, Marc Moreno Maza. An equivalence theorem for regular differential chains. Journal of Symbolic Computation, 93:34-55, 2019. [doi]

@article{BoulierLPM19,
  title = {An equivalence theorem for regular differential chains},
  author = {François Boulier and François Lemaire and Adrien Poteaux and Marc Moreno Maza},
  year = {2019},
  doi = {10.1016/j.jsc.2018.04.011},
  url = {https://doi.org/10.1016/j.jsc.2018.04.011},
  researchr = {https://researchr.org/publication/BoulierLPM19},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Computation},
  volume = {93},
  pages = {34-55},
}