2D Dependency Pairs for Proving Operational Termination of CTRSs | Publicación