3. IS/KI 1994: Hamburg, Germany

maintained by Schloss Dagstuhl LZI at University of Trier