@misc{RISC2839,
author = {F. Piroi and B. Buchberger},
title = {{Label Management in Theorema}},
language = {english},
year = {2005},
month = {July},
annote = {2005-07-01-B},
note = {Contributed talk at 4th International Conference on Mathematical Knowledge Management},
conferencename = {4th International Conference on Mathematical Knowledge Management}
}