An algorithm for finding a basis for the residue class ring of a zero-dimensional ideal (1965)

by B Buchberger