CONFident

Confluence Checker for Conditional Rewrite Systems

Documentation