author = {T. Thanatipanonda and D. Zeilberger},
title = {{A Symbolic Finite-State Approach For Automated}},
language = {english},
journal = {Journal of Difference Equations and Applications},
volume = {15},
pages = {111--118},
isbn_issn = {1023-6198},
year = {2009},
refereed = {yes},
length = {8}