A Good Class of Tree Automata and Application to Inductive Theorem Proving.

Denis Lugiez

Browse the full ICALP paper archive.