@misc{RISC3046,
author = {B. Buchberger},
title = {{From Gröbner Bases to Automated Theorem Proving and Back}},
language = {english},
year = {2005},
month = {July, 10},
annote = {2005-07-09-B},
note = {Invited talk at School on Gröbner Bases and Applications},
institution = {IASBS (Institute for Advanced Studies in Basic Sciences) , Zanjan, Iran},
conferencename = {School on Gröbner Bases and Applications}
}