@TECHREPORT{Baader-LTCS-96,
 author         = {F. Baader},
 title          = {Combination of Compatible Reduction Orderings 
                   that are Total on Ground Terms},
 institution    = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
 year           = 1996,
 type           = {LTCS-Report},
 number         = {LTCS-96-05},
 ccl            = {yes}
}