The Extension of the GVW Algorithm to Valuation Domains. (7th June 2021)