@misc{RISC2343,
author = {B. Buchberger},
title = {{The Theorema Project: An Overview}},
language = {english},
year = {2004},
month = {October 21},
annote = {2004-10-21-A},
note = {Invited talk at Workshop "Verification and Rewriting", Institute AIST, Amagasaki},
conferencename = {Workshop "Verification and Rewriting", Institute AIST, Amagasaki}
}