Marko Petkovsek Symbolic computation with sequences. 65-70 2006 32 Programming and Computer Software 2 http://dx.doi.org/10.1134/S0361768806020022 db/journals/pcs/pcs32.html#Petkovsek06