11th LICS 1996: New Brunswick, New Jersey

maintained by Schloss Dagstuhl LZI, founded at University of Trier