author = {B. Buchberger},
title = {{Theorema: Natural Language and Nested Cells Representation of Proofs}},
booktitle = {{First International Theorema Workshop}},
language = {english},
pages = { --},
address = {RISC, Hagenberg, Austria},
isbn_issn = {-},
year = {1997},
month = {June 9-10},
annote = {1997-06-09-C},
note = {RISC-Linz Report Series No. 97-20},
editor = {B. Buchberger and T. Ida and D. Vasaru},
refereed = {no},
length = {10}