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