Buchberger's Algorithm: The Term Rewriter's Point of View (Extended Abstract).

Reinhard Bndgen

Browse the full ICALP paper archive.