5. IJCAR 2010: Edinburgh, UK - PAAR

maintained by Schloss Dagstuhl LZI at University of Trier