  We propose a way to split a given bivariate P-recursive sequence into a
summable part and a non-summable part in such a way that the non-summable part
is minimal in some sense. This decomposition gives rise to a new
reduction-based creative telescoping algorithm based on the concept of integral
bases.
