Noga Alon, Ravi B. Boppana: The monotone circuit complexity of Boolean functions. In: Combinatorica. Band 7, Nummer 1, 1987, S. 1–22, doi:10.1007/BF02579196.
Razborov, Rudich: Natural Proof. In: Journal of Computer and System Sciences. Band 55, Nummer 1, 1997, S. 24–35, doi:10.1006/jcss.1997.1494, und Proceedings of the Twenty-Sixth Annual ACM Symposium on the Theory of Computing. Montréal, Quebéc, Canada, May 23–25, 1994. ACM Press, New York NY 1994, ISBN 0-89791-663-8, S. 204, Online, Postscript-Datei.
Razborov, Rudich: Natural Proof. In: Journal of Computer and System Sciences. Band 55, Nummer 1, 1997, S. 24–35, doi:10.1006/jcss.1997.1494, und Proceedings of the Twenty-Sixth Annual ACM Symposium on the Theory of Computing. Montréal, Quebéc, Canada, May 23–25, 1994. ACM Press, New York NY 1994, ISBN 0-89791-663-8, S. 204, Online, Postscript-Datei.