6. IJCAR (CADE, FroCoS, TABLEAUX, FTP) 2012: Manchester, UK

Invited Talks

Full Papers and System Descriptions

maintained by Schloss Dagstuhl LZI at University of Trier