EasyChair Smart Slide
Deciding regular games: a playground for exponential time algorithms
Deciding regular games: a playground for exponential time algorithms