General Framework for Mechanizing Induction using Test Set.

Adel Bouhoula

Browse the full PRICAI paper archive.