On the leading terms ideals of polynomial ideals over a valuation ring
scientific article; zbMATH DE number 6046982