On the norm property of the Hilbert symbol for polynomial formal modules in a multidimensional local field
scientific article; zbMATH DE number 6855773