@conference {427,
	title = {A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited},
	booktitle = {Proc. Conference on Automated Deduction (CADE)},
	year = {2015},
	publisher = {Springer},
	organization = {Springer},
	doi = {10.1007/978-3-319-21401-6_29},
	author = {Paula Chocron and Pascal Fontaine and Christophe Ringeissen},
	editor = {Amy P. Felty and Aart Middeldorp}
}