Algorithm of polynomial complexity for factoring polynomials over local fields
factoring multivariable polynomials over local fields
scientific article; zbMATH DE number 58720