A Dependency Pair Framework for A ∨ C-Termination | Publicación