@article{chocron2020,
  author    = {Paula Chocron and
               Pascal Fontaine and
               Christophe Ringeissen},
  title     = {Politeness and Combination Methods for Theories with Bridging Functions},
  journal   = {J. Autom. Reason.},
  volume    = {64},
  number    = {1},
  pages     = {97--134},
  year      = {2020},
  doi       = {10.1007/s10817-019-09512-4},
}