Similar Items: Certifying Confluence Proofs via Relative Termination and Rule Labeling
- A new coinductive confluence proof for infinitary lambda calculus
- A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems
- Herbrand-Confluence
- Compositional Confluence Criteria
- Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories
- On the relative proof complexity of deep inference via atomic flows