Automated Induction with Constrained Tree Automata.

Adel Bouhoula, Florent Jacquemard

Browse the full CADE paper archive.