Subnets of proof-nets in MLL (1995)

by G Bellin, J van de Wiele
Venue:In Proceedings of the workshop on Advances in linear logic