@Bibtex-file{LogicProgramming/JLOGICPROG.bib, title = "Bibliography of {"}Journal of Logic Programming{"}", author = "CMU E\&{}S library", supported = "gone", } .