@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}
}