Text this: Dynamic Dependency Pairs for Algebraic Functional Systems