Frédéric Besson, Pierre-Emmanuel Cornilleau, David Pichardie: A Nelson-Oppen based Proof System using Theory Specific Proof Systems. PxTP 2011: 1-14