7. SPIRE 2000: A Coruña, Spain

maintained by Schloss Dagstuhl LZI at University of Trier