record conf/dagstuhl/BaderMS00

maintained by Schloss Dagstuhl LZI at University of Trier