@Article{BaaTin-IC-02,
  author =	 {Franz Baader and Cesare Tinelli},
  title =	 {Deciding the Word Problem in the Union of equational
                  Theories},
  journal =	 {Information and Computation},
  volume =	 178,
  number =	 2,
  month =	 dec,
  year =	 2002,
  pages =	 {346--390},
  url =          {ftp://ftp.cs.uiowa.edu/pub/tinelli/papers/BaaTin-IC-02.ps/gz},
}