Signature Extensions Preserve Termination - An Alternative Proof via Dependency Pairs.

Christian Sternagel, Ren Thiemann

Browse the full CSL paper archive.