Almost-natural proofs
scientific article; zbMATH DE number 5882191