A decision procedure for finding closed forms for indefinite summation of polynomials,rational functions, quasipolynomials and quasirational functions is presented. It is alsoextended to deal with some nohypergeometric sums with rational inputs, which are notsuminable by means of Gosper's algorithm. Discussion of its implementation, analysisof degree bounds and some illustrative examples are included.