Automata-Driven Automated Induction.

Adel Bouhoula, Jean-Pierre Jouannaud

Browse the full LICS paper archive.