@inproceedings{RISC2838,
author = {F. Piroi and B. Buchberger},
title = {{Label Management in Theorema}},
booktitle = {{Informal proceedings of the 4th International Conference on Mathematical Knowledge Management}},
language = {english},
pages = {--},
year = {2005},
month = {July},
annote = {2005-07-01-A},
note = {Bremen, Germany},
editor = {M. Kohlhase},
refereed = {yes},
length = {0}
}