@TECHREPORT{BaaTin-RR-96,
  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},
  institution =	 {LuFG Theoretical Computer Science, RWTH-Aachen,
                  Germany},
  year =	 1996,
  number =	 {96-01},
}