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

Paula Chocron, Pascal Fontaine, Christophe Ringeissen (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics