"Buchberger's algoritm" . . . "Buchberger's algoritm" .