The following publications are possibly variants of this publication:
- Politeness and Combination Methods for Theories with Bridging FunctionsPaula Chocron, Pascal Fontaine, Christophe Ringeissen. JAR, 64(1):97-134, 2020. [doi]
- Combination Techniques for Non-Disjoint Equational TheoriesEric Domenjoud, Francis Klay, Christophe Ringeissen. cade 1994: 267-281
- Polite Combination of Algebraic DatatypesYing Sheng 0007, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett. JAR, 66(3):331-355, 2022. [doi]
- Combination of Disjoint Theories: Beyond DecidabilityPascal Fontaine, Stephan Merz, Christoph Weidenbach. cade 2012: 256-270 [doi]
- A Rewriting Approach to the Combination of Data Structures with Bridging TheoriesPaula Chocron, Pascal Fontaine, Christophe Ringeissen. frocos 2015: 275-290 [doi]