The Complexity of Proving the Discrete Jordan Curve Theorem.

Phuong Nguyen, Stephen A. Cook

Browse the full LICS paper archive.