Emmanuel Hallouin Computing Local Integral Closures. 211-230 2001 32 J. Symb. Comput. 3 db/journals/jsc/jsc32.html#Hallouin01