DMCA

Computation Modular Termination Proofs for Rewriting Using Dependency Pairs

by Jürgen Giesl , Thomas Arts , Enno Ohlebusch