Bruno Buchberger, Georg Regensburger, Markus Rosenkranz, Loredana Tec. General polynomial reduction with TH 9 OREM 8 functors: applications to integro-differential operators and polynomials. ACM Comm. Computer Algebra, 42(3):135-137, 2008. [doi]
Abstract is missing.