@techreport{RISC2420,
author = {B. Buchberger and T. Jebelean and D. Vasaru},
title = {{Theorema: A System for Formal Scientific Training in Natural Language Presentation}},
language = {english},
number = {98-05},
year = {1998},
month = {June},
annote = {1998-06-00-B},
howpublished = {SFB Report},
institution = {Johannes Kepler University Linz, Spezialforschungsbereich F013},
length = {6}
}