@INPROCEEDINGS{BaaTin-CADE-97,
  author =	 {Franz Baader and Cesare Tinelli},
  title =	 {A New Approach for Combining Decision Procedures for
                  the Word Problem, and Its Connection to the
                  {N}elson-{O}ppen Combination Method},
  editor =	 {W.~McCune},
  booktitle =	 {Proceedings of the 14th International Conference on
                  Automated Deduction (Townsville, Australia)},
  year =	 1997,
  series =	 {Lecture Notes in Artificial Intelligence},
  publisher =	 {Springer-Verlag},
  volume =	 1249,
  pages =	 {19--33},
  url =		 {http://www.cs.uiowa.edu/~tinelli/papers.html},
}