1. IS/KI 1990: Ulm, Germany

maintained by Schloss Dagstuhl LZI at University of Trier