author = {B. Buchberger and T. Jebelean},
title = {{Theorema: Using the Predicate Logic Prover for Proof Training}},
booktitle = {{Proceedings of the Second International Theorema Workshop}},
language = {english},
pages = { --},
address = {RISC, Hagenberg, Austria},
isbn_issn = {-},
year = {1998},
month = {June 29-30},
annote = {1998-06-29-D},
note = {RISC-Linz Report Series No. 98-10},
editor = {B. Buchberger and T. Jebelean},
refereed = {no},
length = {12}