Logical Approaches to Computational Barriers
scientific article; zbMATH DE number 5147778