On Syntactic versus Computational Views of Approximability
scientific article; zbMATH DE number 1200782