@misc{RISC2696,
author = {B. Buchberger and T. Jebelean},
title = {{Application of Theorema for Proof Training}},
language = {english},
year = {1997},
month = {July 27},
annote = {1997-07-27-A},
note = {Contributed talk at IMACS Computer Algebra Conference, Maui, Hawaii, USA},
conferencename = {IMACS Computer Algebra Conference, Maui, Hawaii, USA}
}