infChecker

Infeasibility Checker for Conditional Rewrite Systems

Description

Related Publications