Authors: Lincoln, PD Mitchell, JC Scedrov, A

Citation: Pd. Lincoln et al., Optimization complexity of linear logic proof games, THEOR COMP, 227(1-2), 1999, pp. 299-331