@Bibtex-file{Theory/lfs.bib,
  title =        "Bibliography on Logical Frameworks",
  author =       "Frank Pfenning",
  address =      "Department of Computer Science\\ Carnegie Mellon
                 University\\Pittsburgh, PA 15213-3891\\USA",
  email =        "fp@cs.cmu.edu",
  keywords =     "specification of deductive systems, search for
                 derivations within deductive systems, meta-programming
                 of algorithms pertaining to deductive systems, proving
                 meta-theorems about deductive systems.",
  abstract =     "This is a bibliography on logical frameworks. I am
                 including systems specifically designed as logical
                 frameworks as well as individual experiments carried
                 out in other systems which have a meta-logical
                 character. General purpose theorem provers such as Coq,
                 LEGO, Nqthm, NuPrl and others have been omitted in
                 order to keep my task managable, except for a basic
                 reference or two.",
  readme =       "This, like any bibliography, is incomplete. Any
                 corrections, updates, comments, suggestion, new
                 entries, new URL's for papers, etc. are very much
                 appreciated.\par This bibliography is part of the
                 \htmladdnormallink{home page for logical frameworks}
                 {http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs.html}",
}