6. IJCAR 2012: Manchester, UK - UNIF

maintained by Schloss Dagstuhl LZI at University of Trier