Deciding provability of linear logic formulas (1995)

by P Lincoln
Venue:Proceedings of the Workshop on Advances in Linear Logic