TARCER - A Mathematica program for the reduction of two-loop propagator   integrals
  TARCER is an implementation of the recurrence algorithm of O.V. Tarasov for the reduction of two-loop propagator integrals with arbitrary masses to a small set of basis integrals. The tensor integral reduction scheme is adapted to moment integrals emerging in operator matrix element calculations. 
R. Mertig, R. Scharf