@InProceedings{BaaGT-IJCAR-04,
  author =	 {Franz Baader and Silvio Ghilardi and Cesare Tinelli},
  title =	 {A new combination procedure for the word problem
                  that generalizes fusion decidability results in
                  modal logics},
  booktitle =	 {Proceedings of the 2nd International Joint
                  Conference on Automated Reasoning, IJCAR'04, (Cork,
                  Ireland)},
  pages =	 {183-197},
  year =	 2004,
  editor =	 {D.~Basin and M.~Rusinowitch},
  volume =	 3097,
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer},
  url =		 {ftp://ftp.cs.uiowa.edu/pub/tinelli/papers/BaaGT-IJCAR-04.pdf}
}