See also

Notes

References

*
*
*
*
*

External links

* Lance Fortnow, . Accessed 2009-09-09.
* Richard J. Lipton, . Gives a historical account on how the proof was discovered.