New barriers in complexity theory: On the solvability complexity index and the towers of algorithms

Jonathan Ben-Artzi; Anders C. Hansen; Olavi Nevanlinna; Markus Seidel

Comptes Rendus. Mathématique, Volume 353 (2015) p. 931-936