@TECHREPORT{Baader-Tinelli-LTCS-96,
 author         = {F. Baader and C. Tinelli},
 title          = {A New Approach for Combining Decision Procedures for the Word Problem,
                   and Its Connection to the {Nelson-Oppen} Combination Method},
 institution    = {LuFg Theoretical Computer Science, RWTH Aachen},
 year           = 1996,
 type           = {LTCS-Report},
 number         = {LTCS-96-01},
 note           = {An abridged version has appeared in Proc.\ CADE'97, Springer LNAI 1249.},
 ccl            = {yes}
}