CoRR, May 2004

maintained by Schloss Dagstuhl LZI at University of Trier