6. IJCAR 2012: Manchester, UK - ATx/WInG

maintained by Schloss Dagstuhl LZI at University of Trier