Combination of Compatible Reduction Orderings that are Total on Ground Terms.

Franz Baader

Browse the full LICS paper archive.