The 2D Dependency Pair Framework for Conditional Rewrite Systems¿Part II: Advanced Processors and Implementation Techniques
Enter the following information to request a copy of the document from the responsible person