We give a detailed survey of the current state-of-the-art methods for combining decision procedures. We review the Nelson-Oppen combination method, Shostak method, and some very recent results on the combination of theories over non-disjoint signatures.
In Formal Methods at the Crossroads: from Panacea to Foundational Support, LNCS 2787, Springer-Verlag, 2003.
Postscript, PDF. © 2003, Springer Verlag.