11. LICS 1996: New Brunswick, New Jersey

maintained by Schloss Dagstuhl LZI at University of Trier