@Bibtex-file{Theory/linbib.bib,
  title =        "Bibliography on linear logic and related subjects",
  author-1 =     "Anne S. Troelstra",
  email-1 =      "anne@fwi.uva.nl",
  author-2 =     "H. A. J. M. Schellinx",
  email-2 =      "harold@fwi.uva.nl",
  supported =    "gone",
  readme =       "This bibliography was compiled by H. A. J. M.
                 Schellinx and A. S. Troelstra; the file is regularly
                 updated. Corrections and additions for the bibliography
                 to anne@fwi.uva.nl or harold@fwi.uva.nl are always
                 welcome.",
}