@Bibtex-file{Theory/logic.wong.bib,
  title =        "Bibliography on Logic",
  author =       "Paul Wong",
  email =        "wongas@arp.anu.edu.au",
  address =      "Research School of Information Sciences and
                 Engineering\\ Australian National University",
}