Gröbner bases over fields with valuations. - Andrew J. Chan; Diane Maclagan (Math. Comput., 2019)