author = {B. Buchberger},
title = {{Theorema: Where We Stand}},
language = {english},
year = {2010},
month = {August 3-5},
annote = {2010-08-03-A},
note = {Contributed talk at CIAO 2010 (19th Clam - Inka - OMRS Workshop), RISC, Austria},
conferencename = {CIAO 2010 (19th Clam - Inka - OMRS Workshop), RISC, Austria}