Deciding provability of linear logic formulas (1995)

by P Lincoln
Venue:eds, ‘Advances in Linear Logic