The Work Termination for the Direct Sum of left-Linear Term Rewriting Systems (Preliminary Draft) The details The Author Henk Barendregt The offers