Edmund Robinson: Proof Nets for Classical Logic. J. Log. Comput. 13(5): 777-797 (2003)