author = {Manuel Kauers}, title = {{Computing Limits of Sequences}}, language = {english}, year = {2003}, conferencename = {ISSAC 2003}