1. Modular algorithms for computing Gröbner bases;Arnold;Journal of Symbolic Computation,2003
2. Böhm, J., Decker, W., Laplagne, S., Seelisch, F., in preparation. Computing integral bases via localization and Hensel lifting.
3. The Magma algebra system. I. The user language;Bosma;Journal of Symbolic Computation,1997
4. The normalization: A new algorithm, implementation and comparisons;Decker,1999