https://www.dict.cc/englisch-deutsch/Buchberger%27s+algorithm.html