@article {MR2499507,
    AUTHOR = {Gao, Xiao-Shan and Luo, Yong and Yuan, Chunming},
     TITLE = {A characteristic set method for ordinary difference polynomial
              systems},
   JOURNAL = {J. Symbolic Comput.},
  FJOURNAL = {Journal of Symbolic Computation},
    VOLUME = {44},
      YEAR = {2009},
    NUMBER = {3},
     PAGES = {242--260},
      ISSN = {0747-7171},
   MRCLASS = {12H10},
  MRNUMBER = {2499507 (2010h:12004)},
MRREVIEWER = {Stelios Kotsios},
       DOI = {10.1016/j.jsc.2007.05.005},
       URL = {http://dx.doi.org/10.1016/j.jsc.2007.05.005},
}