Sergei A. Abramov Marko Petkovsek Minimal decomposition of indefinite hypergeometric sums. 7-14 2001 ISSAC http://doi.acm.org/10.1145/384101.384103 db/conf/issac/issac2001.html#AbramovP01