@Bibtex-file{Theory/FloC.2002.bib,
  title =        "The {FL}o{C}'02 omnibus bibliography",
  author =       "Henning Makholm",
  email =        "henning@makholm.net",
  address =      "University of Copenhagen",
  supported =    "yes",
  copyright =    "Please copy and use freely",
  abstract =     "Contains papers presented at the 2002 Federated Logic
                 Conference held in Copenhagen, Denmark in July 2002.",
  readme =       "Based on bibliographic data received from submeeting
                 organizers. At the time of submission, I (the FLoC
                 webmaster) am still awaiting page-number data from some
                 submeetings, so the bibliography is expected to grow
                 slightly in the coming months. It probably won't change
                 after, say, mid-2003, though.",
  keywords =     "logic, theorem proving, verification, deduction,
                 rewriting, reasoning",
}