@article{Gao_2009,
    doi = {10.1016/j.jsc.2007.05.005},
    url = {https://doi.org/10.1016%2Fj.jsc.2007.05.005},
    year = {2009},
    month = {mar},
    publisher = {Elsevier {BV}},
    volume = {44},
    number = {3},
    pages = {242--260},
    author = {Xiao-Shan Gao and Yong Luo and Chunming Yuan},
    title = {A characteristic set method for ordinary difference polynomial systems},
    journal = {Journal of Symbolic Computation}
}

@article{Gao_2009, doi = {10.1016/j.jsc.2007.05.005}, url = {https://doi.org/10.1016%2Fj.jsc.2007.05.005}, year = {2009}, month = {mar}, publisher = {Elsevier {BV}}, volume = {44}, number = {3}, pages = {242--260}, author = {Xiao-Shan Gao and Yong Luo and Chunming Yuan}, title = {A characteristic set method for ordinary difference polynomial systems}, journal = {Journal of Symbolic Computation} }