Manuel Kauers,
"An Algorithm for Deciding Zero Equivalence of Nested Polynomially Recurrent Sequences"
, in J. Kepler Universität Linz, in SFB Report 2003-48, 2003
Original Titel:
An Algorithm for Deciding Zero Equivalence of Nested Polynomially Recurrent Sequences