Proving inductive validity of constrained inequalities.

Takahiro Nagao, Naoki Nishida

Browse the full PPDP paper archive.