@conference {207, title = {A Gentle Non-Disjoint Combination of Satisfiability Procedures}, booktitle = {International Joint Conference on Automated Reasoning (IJCAR)}, year = {2014}, publisher = {Springer}, organization = {Springer}, author = {Paula Chocron and Pascal Fontaine and Christophe Ringeissen}, editor = {St{\'e}phane Demri and Deepak Kapur and Christoph Weidenbach} }