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