@INPROCEEDINGS{BaaTin-RTA-99,
  author =	 {Franz Baader and Cesare Tinelli},
  title =	 {Deciding the Word Problem in the Union of Equational
                  Theories Sharing Constructors},
  editor =	 {P.~Narendran and M.~Rusinowitch},
  booktitle =	 {Proceedings of the 10th International Conference on
                  Rewriting Techniques and Applications (Trento,
                  Italy)},
  year =	 1999,
  publisher =	 {Springer-Verlag},
  volume =	 1631,
  pages =	 {175--189},
  series =	 {Lecture Notes in Computer Science},
  url =		 {http://www.cs.uiowa.edu/~tinelli/papers.html},
}