@misc{RISC2212,
author = {B. Buchberger},
title = {{THEOREMA: Automated Theorem Proving for the Practice}},
language = {english},
year = {2001},
month = {Jan. 28 - Feb. 3},
annote = {2001-01-31-A},
note = {Invited talk at 5th International Conference on Applied Informatics, Eger, Hungary},
conferencename = {5th International Conference on Applied Informatics, Eger, Hungary}
}