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