Cédric Piette Youssef Hamadi Lakhdar Sais Efficient Combination of Decision Procedures for MUS Computation. 335-349 2009 FroCoS http://dx.doi.org/10.1007/978-3-642-04222-5_21 conf/frocos/2009 db/conf/frocos/frocos2009.html#PietteHS09