On the Verification of Finite Failure.

Roberta Gori, Giorgio Levi

Browse the full PPDP paper archive.