6. IJCAR 2012: Manchester, UK - SMT

maintained by Schloss Dagstuhl LZI at University of Trier