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

by P Lincoln, N Shankar
Venue:Proceedings of the Ninth Annual IEEE Symp. on Logic in Computer Science