Multivariate division with remainder in K[x1,...,xn] with respect to an ordered list of divisors

Original label: Multivariate division with remainder in K[x1,...,xn] with respect to an ordered list of divisors