BooksStandalone TitlesCollected Volumepp. 1071–1103Automata and finite model theoryWouter GeladeUniversity of Namur, BelgiumThomas SchwentickTU Dortmund University, GermanyDownload Chapter PDFA subscription is required to access this book chapter.