Franz Baader, Silvio Ghilardi. Connecting many-sorted theories. Journal of Symbolic Logic, 72(2):535-583, 2007. [doi]
@article{BaaderG07, title = {Connecting many-sorted theories}, author = {Franz Baader and Silvio Ghilardi}, year = {2007}, url = {http://projecteuclid.org/euclid.jsl/1185803623}, researchr = {https://researchr.org/publication/BaaderG07}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {72}, number = {2}, pages = {535-583}, }