## Patrick Lincoln, Natarajan Shankar

*Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi*

LICS, 1994.

@inproceedings{LICS-1994-LincolnS, author = "Patrick Lincoln and Natarajan Shankar", booktitle = "{Proceedings of the Ninth Annual Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1994.316061", isbn = "0-8186-6310-3", pages = "282--291", publisher = "{IEEE Computer Society}", title = "{Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi}", year = 1994, }