Decision problems for propositional linear logic (1992)

by P Lincoln, J Mitchell, A Scedrov, N Shankar
Venue:Annals of Pure and Applied Logic