Similar Items: Rewriting Modulo Traced Comonoid Structure
- Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories
- Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation
- Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus
- Congruence Closure Modulo Groups
- Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
- Algebraic Structure of Combined Traces