@inproceedings{sigact92,
    AUTHOR = {Patrick Lincoln},
    TITLE = {Linear Logic},
    BOOKTITLE = {{SIGACT} 1992},
    YEAR = {1992},
    URL = {http://www.csl.sri.com/papers/sigact92/}
}