author = {L. Bachmair and B. Buchberger},
title = {{A Simplified Proof of the Characterization Theorem for Groebner-Bases}},
language = {english},
year = {1981},
month = {January 13-15},
annote = {1981-01-13-A},
note = {Contributed talk at Joint SAM-AFCET/NIGSAM/SEAS-SMC Meeting on Computer Algebra, Antwerp, Belgium},
conferencename = {Joint SAM-AFCET/NIGSAM/SEAS-SMC Meeting on Computer Algebra, Antwerp, Belgium}