70562305

a

70562305 Guerrini, Stefano Martini, Simone Masini, Andrea Coherence for sharing proof nets RTA, 215-229 (1996). 1996 EN

doi:10.1007/3-540-61464-8_54