List of citations in Numdam for : Highly undecidable problems for infinite computations

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 43 (2009) no. 2, pp. 339-364

---