Buchberger's algorithm

GPTKB entity