@INPROCEEDINGS{BaaTin-FROCOS-00,
  author =	 {Franz Baader and Cesare Tinelli},
  title =	 {Combining Equational Theories Sharing
                  Non-Collapse-Free Constructors},
  editor =	 {H.~Kirchner and Ch.~Ringeissen},
  booktitle =	 {Proceedings of the 3rd International Workshop on
                  Frontiers of Combining Systems, {FroCoS'2000}, Nancy
                  (France)},
  series =	 {Lecture Notes in Artificial Intelligence},
  volume =	 1794,
  publisher =	 {Springer-Verlag},
  month =	 mar,
  year =	 2000,
  pages =	 {260-274},
  url =		 {http://www.cs.uiowa.edu/~tinelli/papers.html},
}