@misc{RISC2597,
author = {B. Buchberger},
title = {{Computing, Solving, Proving: A Survey on the Theorema Project}},
language = {english},
year = {1997},
month = {July 30},
annote = {1997-07-30-A},
note = {Invited talk at Workshop on Logic Programming and Nonmonotonic Reasoning, Conference Center Dagstuhl, Germany},
conferencename = {Workshop on Logic Programming and Nonmonotonic Reasoning, Conference Center Dagstuhl, Germany}
}