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,
}