Completion of Integral Polynomials by AC-Term Completion.

Reinhard Bündgen Completion of Integral Polynomials by AC-Term Completion. 70-78 1991 ISSAC http://doi.acm.org/10.1145/120694.120704 db/conf/issac/issac91.html#Bundgen91