@misc{indiciae22d233564e00, title = {A survey of proof nets and matrices for substructural logics}, author = {Sean A. Fulop}, year = {2012}, url = {https://arxiv.org/abs/1203.4912}, note = {Source identifier: 1203.4912} }