Almost-natural proofs

Timothy Y. Chow. Almost-natural proofs. J. Comput. Syst. Sci., 77(4):728-737, 2011. [doi]

Abstract

Abstract is missing.