Similar Items: Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
- Complexity of Conditional Term Rewriting
- Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently
- Modular Complexity Analysis for Term Rewriting
- A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems
- Rewriting with Acyclic Queries: Mind Your Head
- Complexity Hierarchies and Higher-order Cons-free Term Rewriting