Bounds for the degrees in the membership test for a polynomial ideal Francesco Amoroso (1990) Acta Arithmetica
Bounds in the theory of polynomial rings over fields. A nonstandard approach. K. Schmidt, L. van den Dries (1984) Inventiones mathematicae