[1] Alexander A. Razborov and Steven Rudich. Natural proofs. Journal of
Computer and System Sciences, 55(1):24-35, August 1997.

[2] O. Goldreich, S. Goldwasser, and S. Micali. How to construct random functions.
Journal of the ACM, 33(4):792-807, 1986.