"Regular Cost Functions over Finite Trees."

Thomas Colcombet, Christof Löding (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics