Correctness of Linear Logic Proof Structures is NL