@Bibtex-file{Theory/LF.bib,
  title =        "Annotated Bibliography of the Logical Frameworks Basic
                 Research Action",
  supported =    "gone",
}