Xiao-Shan Gao Yong Luo Chun-Ming Yuan A characteristic set method for ordinary difference polynomial systems. 242-260 2009 44 J. Symb. Comput. 3 http://dx.doi.org/10.1016/j.jsc.2007.05.005 db/journals/jsc/jsc44.html#GaoLY09