TY  - RPRT
TI  - A new graphical calculus of proofs
AU  - Sandra Alves
AU  - Maribel Fernández
AU  - Ian Mackie
PY  - 2011
DO  - 10.4204/eptcs.48.8
UR  - https://arxiv.org/abs/1102.2655
ID  - 1102.2655
ER  -