Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems | Publicación