5. LICS 1990: Philadelphia, Pennsylvania, USA

maintained by Schloss Dagstuhl LZI at University of Trier