Canonical Proof nets for Classical Logic - Richard McKinley (2012)