author = {B. Buchberger},
title = {{Theorem Proving and the RISA/ASIR System}},
language = {english},
year = {1997},
month = {February 19},
annote = {1997-02-19-A},
note = {Invited colloquium talk at Fujitsu Labs, Numazu, Japan},
institution = {Fujitsu Labs, Numazu, Japan}