author = {F. Piroi and B. Buchberger},
title = {{Label Management in Mathematical Theories}},
language = {english},
number = {2004--16},
year = {2004},
month = {November},
annote = {2004-11-16-A},
institution = {Johann Radon Institute for Computational and Applied Mathematics (RICAM)},
length = {0}