A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited

TitleA Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited
Publication TypeConference Paper
Year of Publication2015
AuthorsChocron, P, Fontaine, P, Ringeissen, C
EditorFelty, AP, Middeldorp, A
Conference NameProc. Conference on Automated Deduction (CADE)
PublisherSpringer
DOI10.1007/978-3-319-21401-6_29
Work Package: 
WP2