A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited
| Title | A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Chocron, P, Fontaine, P, Ringeissen, C |
| Editor | Felty, AP, Middeldorp, A |
| Conference Name | Proc. Conference on Automated Deduction (CADE) |
| Publisher | Springer |
| DOI | 10.1007/978-3-319-21401-6_29 |
Work Package:
WP2
