Cited in
(12)- Confluence by critical pair analysis revisited
- scientific article; zbMATH DE number 7359428 (Why is no real title available?)
- Applications and extensions of context-sensitive rewriting
- CSI
- Saigawa
- Conditional Confluence
- CoLL
- Nagoya Termination Tool
- CO3
- Cops
- FORT
- Derivational complexity and context-sensitive Rewriting
This page was built for software: CoCoWeb
