@article{Harrison_Trainor_2012,
    doi = {10.1016/j.jalgebra.2012.03.013},
    url = {https://doi.org/10.1016%2Fj.jalgebra.2012.03.013},
    year = {2012},
    month = {jun},
    publisher = {Elsevier {BV}},
    volume = {360},
    pages = {71--86},
    author = {Matthew Harrison-Trainor and Jack Klys and Rahim Moosa},
    title = {Nonstandard methods for bounds in differential polynomial rings},
    journal = {Journal of Algebra}
}

@article{Harrison_Trainor_2012, doi = {10.1016/j.jalgebra.2012.03.013}, url = {https://doi.org/10.1016%2Fj.jalgebra.2012.03.013}, year = {2012}, month = {jun}, publisher = {Elsevier {BV}}, volume = {360}, pages = {71--86}, author = {Matthew Harrison-Trainor and Jack Klys and Rahim Moosa}, title = {Nonstandard methods for bounds in differential polynomial rings}, journal = {Journal of Algebra} }