@misc{RISC2599,
author = {B. Buchberger},
title = {{Computer Algebra and Theorem Proving}},
language = {english},
year = {1997},
month = {June 4},
annote = {1997-06-04-A},
note = {Invited talk at COCOA V Conference, Herstmonceux Castle, UK},
conferencename = {COCOA V Conference, Herstmonceux Castle, UK}
}