@misc{RISC2583,
author = {B. Buchberger},
title = {{Theorema: A System for Supporting Mathematical Proving}},
language = {english},
year = {1999},
month = {December 16},
annote = {1999-12-16-A},
note = {Invited talk at Workshop of the Japanese Consortium on Formal Methods, Nagoya, Japan},
conferencename = {Workshop of the Japanese Consortium on Formal Methods, Nagoya, Japan}
}