@article{10_4153_S0008414X21000560,
     author = {Li, Wei and Ovchinnikov, Alexey and Pogudin, Gleb and Scanlon, Thomas},
     title = {Algorithms yield upper bounds in differential algebra},
     journal = {Canadian journal of mathematics},
     pages = {29--51},
     year = {2023},
     volume = {75},
     number = {1},
     doi = {10.4153/S0008414X21000560},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/S0008414X21000560/}
}