author = {B. Buchberger},
title = {{Euclid's Algorithm Using Theorema}},
language = {english},
year = {2001},
month = {June 30},
annote = {2001-06-30-A},
note = {Invited colloquium talk at Lecture for Teachers and Students, Konan High School, Japan},
institution = {Lecture for Teachers and Students, Konan High School, Japan}