@inproceedings{bonacina2019,
  author    = {Maria Paola Bonacina and
               Pascal Fontaine and
               Christophe Ringeissen and
               Cesare Tinelli},
  editor    = {Carsten Lutz and
               Uli Sattler and
               Cesare Tinelli and
               Anni{-}Yasmin Turhan and
               Frank Wolter},
  title     = {Theory Combination: Beyond Equality Sharing},
  booktitle = {Description Logic, Theory Combination, and All That - Essays Dedicated
               to Franz Baader on the Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {11560},
  pages     = {57--89},
  publisher = {Springer},
  year      = {2019},
  doi       = {10.1007/978-3-030-22102-7\_3},
}