record journals/eccc/ECCC-TR05-003

maintained by Schloss Dagstuhl LZI at University of Trier