@misc{RISC2606,
author = {B. Buchberger},
title = {{Proving, Solving and Computing}},
language = {english},
year = {1996},
month = {September 6},
annote = {1996-09-06-A},
note = {Invited talk at Multiparadigm Logic Programming Conference, Bonn, Germany},
conferencename = {Multiparadigm Logic Programming Conference, Bonn, Germany}
}