Proof search in first-order linear logic and other cut-free sequent calculi (1994)

by P Lincoln, N Shankar
Venue:in ‘Proceedings of Logic in Computer Science (LICS’94)’, IEEE Computer