Deciding provability of linear logic formulas’, in (1995)

by P Lincoln
Venue:Proc. Workshop on Advances in Linear Logic.