@inproceedings{focs90,
    AUTHOR = {Natarajan Shankar},
    TITLE = {Decision Problems in Linear Logic (short form)},
    BOOKTITLE = {{FOCS90}},
    YEAR = {1990},
    URL = {http://www.csl.sri.com/papers/focs90/}
}