@misc{RISC4787,
author = {B. Buchberger},
title = {{Automated Theorem Proving for the Practice}},
language = {english},
year = {2000},
month = {May 15},
annote = {2000-05-15-A},
note = {Invited colloquium talk at University of Salzburg, Mathematical Institute},
institution = {University of Salzburg, Mathematical Institute}
}