William W. Adams Serkan Hosten Philippe Loustaunau J. Lyn Miller SAGBI and SAGBI-Gröbner Bases over Principal Ideal Domains. 31-47 1999 27 J. Symb. Comput. 1 db/journals/jsc/jsc27.html#AdamsHLM99