@misc{RISC2348,
author = {B. Buchberger},
title = {{Groebner Bases and Automated Theorem Proving}},
language = {english},
year = {2004},
month = {October 9},
annote = {2004-10-09-A},
note = {Invited colloquium talk at Toho University, Mathematical Institute, Tokyo – Tsudanuma},
institution = {Toho University, Mathematical Institute, Tokyo – Tsudanuma}
}