Roberto Bruttomesso Alessandro Cimatti Anders Franzén Alberto Griggio Roberto Sebastiani Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis. 527-541 2006 conf/lpar/2006 LPAR http://dx.doi.org/10.1007/11916277_36 db/conf/lpar/lpar2006.html#BruttomessoCFGS06