Standard bases for general coefficient rings and a new constructive proof of Hilbert’s basis theorem (0)

by C Jacobsson, C Löfwall
Venue:J. Symbolic Comput