Deciding Provability of Linear Logic Formulas (1995)

by P Lincoln
Venue:In: London Mathematical Society Lecture Note Series 222