From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions.

Herman Geuvers, Iris Loeb

Browse the full MFCS paper archive.