Nicolas Peltier Tree Automata and Automated Model Building. 59-81 1997 30 Fundam. Inform. 1 db/journals/fuin/fuin30.html#Peltier97