Grobner bases over a dual valuation domain
scientific article