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}, }