Andrea Asperti Giovanna M. Dore Yet Another Correctness Criterion for Multiplicative Linear Logic with MIX. 34-46 1994 conf/lfcs/1994 LFCS db/conf/lfcs/lfcs1994.html#AspertiD94