P. Fitzpatrick J. Flynn A Gröbner Basis Technique for Inverting Mulitvariable Hensel Codes. 133-138 1992 13 J. Symb. Comput. 2 db/journals/jsc/jsc13.html#FitzpatrickF92