The Complexity of Proving the Discrete Jordan Curve Theorem
scientific article