  In this paper we outline the most general and universal algorithmic approach
to reduction of loop integrals to basic integrals. The approach is based on
computation of Groebner bases for recurrence relations derived from the
integration by parts method. In doing so we consider generic recurrence
relations when propagators have arbitrary integer powers treated as symbolic
variables (indices) for the relations.
