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

Paula Daniela Chocron, Pascal Fontaine, Christophe Ringeissen

Browse the full CADE paper archive.