@inproceedings{RISC2417,
author = {B. Buchberger and W.Windsteiger},
title = {{The Theorema Language: Implemening Object- and Meta-Level Usage of Symbols}},
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-E},
note = {RISC-Linz Report Series No. 98-10},
editor = {B. Buchberger and T. Jebelean},
refereed = {no},
length = {11}
}