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]
@inproceedings{BessonCP11-0,
title = {A Nelson-Oppen based Proof System using Theory Specific Proof Systems},
author = {Frédéric Besson and Pierre-Emmanuel Cornilleau and David Pichardie},
year = {2011},
url = {https://pxtp2011.loria.fr/PxTP2011.pdf#page=5},
researchr = {https://researchr.org/publication/BessonCP11-0},
cites = {0},
citedby = {0},
pages = {1-14},
booktitle = {PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, Wrocław, Poland, August 1, 2011},
editor = {Pascal Fontaine and Aaron Stump},
}