The Hensel lemma in algebraic manipulation - Yun, David Y. (Massachusetts Inst. of Technology, Laboratory for Computer Science, 1974)