BooksStandalone TitlesCollected Volumepp. 235–264Automata on finite treesChristof LödingRWTH Aachen, GermanyWolfgang ThomasRWTH Aachen, GermanyDownload Chapter PDFA subscription is required to access this book chapter.