"Certifying a Tree Automata Completion Checker."

Benoît Boyer, Thomas Genet, Thomas P. Jensen (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics