@inproceedings{RISC2429,
author = {B. Buchberger and F. Kriftner},
title = {{Theorema: The Language}},
booktitle = {{First International Theorema Workshop}},
language = {english},
pages = { --},
address = {RISC, Hagenberg, Austria},
isbn_issn = {-},
year = {1997},
month = {June 9-10},
annote = {1997-06-09-B},
note = {RISC-Linz Report Series No. 97-20},
editor = {B. Buchberger and T. Ida and D. Vasaru},
refereed = {no},
length = {12}
}