3. HOPL 2007: San Diego, California, USA

maintained by Schloss Dagstuhl LZI at University of Trier