Gui-Lin Zhang

Characteristic set method for differential-difference polynomial systems

Joris van der Hoeven, Xiao-Shan Gao, Chun-Ming Yuan, 2009, J. Symb. Comput..

Properties of Ascending Chains for Partial Difference Polynomial Systems

Xiao-Shan Gao, Gui-Lin Zhang, 2007, ASCM.