@Article{BaaGi-JSL-07,
  author =       {F. Baader and S. Ghilardi},
  title =        {Connecting Many-Sorted Theories},
  journal =      {The Journal of Symbolic Logic},
  volume =       {72},
  number =       {2},
  pages      =   {535--583},
  year =         2007,
}