@Bibtex-file{LogicProgramming/jlp.bib,
  title =        "Bibliography of the {"}Journal of Logic
                 Programming{"}",
  author =       "Michael Leuschel",
  email =        "mal@ecs.soton.ac.uk",
  supported =    "gone",
}