A Sufficient Condition for the Termination of the Direct Sum of Term Rewriting Systems

Aart Middeldorp

Browse the full LICS paper archive.