Frédéric Besson, Pierre-Emmanuel Cornilleau, David Pichardie. A Nelson-Oppen based Proof System using Theory Specific Proof Systems. In Pascal Fontaine, Aaron Stump, editors, PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, Wrocław, Poland, August 1, 2011. pages 1-14, 2011. [doi]
Abstract is missing.