@misc{RISC2586,
author = {B. Buchberger},
title = {{The Theorema Project: Current State}},
language = {english},
year = {1999},
month = {October 23},
annote = {1999-10-23-A},
note = {Invited talk at Mathematica Developers' Conference, Wolfram Research International, Urbana-Champaign},
conferencename = {Mathematica Developers' Conference, Wolfram Research International, Urbana-Champaign}
}