@misc{RISC2180,
author = {B. Buchberger},
title = {{THEOREMA: A Frame for Formal Mathematics}},
language = {english},
year = {2001},
month = {June 3},
annote = {2001-06-03-A},
note = {Invited colloquium talk at Kyushu University, Mathematical Institute, Fukuoka, Japan},
institution = {Kyushu University, Mathematical Institute, Fukuoka, Japan}
}