Logical Approaches to Computational Barriers - Beckmann, Arnold; Berger, Ulrich; Kanade, Takeo; Löwe, Benedikt; Tucker, John V. (Springer Berlin / Heidelberg, 2006)