13. REFSQ 2007: Trondheim, Norway

maintained by Schloss Dagstuhl LZI at University of Trier