Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jlp/AdaliS96,
  author       = {Sibel Adali and
                  V. S. Subrahmanian},
  title        = {Amalgamating Knowledge Bases, {III:} Algorithms, Data Structures,
                  and Query Processing},
  journal      = {J. Log. Program.},
  volume       = {28},
  number       = {1},
  pages        = {45--88},
  year         = {1996},
  url          = {https://doi.org/10.1016/0743-1066(95)00148-4},
  doi          = {10.1016/0743-1066(95)00148-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/AdaliS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/AptGP96,
  author       = {Krzysztof R. Apt and
                  Maurizio Gabbrielli and
                  Dino Pedreschi},
  title        = {A Closer Look at Declarative Interpretations},
  journal      = {J. Log. Program.},
  volume       = {28},
  number       = {2},
  pages        = {147--180},
  year         = {1996},
  url          = {https://doi.org/10.1016/0743-1066(95)00150-6},
  doi          = {10.1016/0743-1066(95)00150-6},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/AptGP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/BeckertP96,
  author       = {Bernhard Beckert and
                  Joachim Posegga},
  title        = {Logic Programming as a Basis for Lean Automated Deduction},
  journal      = {J. Log. Program.},
  volume       = {28},
  number       = {3},
  pages        = {231--236},
  year         = {1996},
  url          = {https://doi.org/10.1016/0743-1066(96)00054-4},
  doi          = {10.1016/0743-1066(96)00054-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/BeckertP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/CodishDFB96,
  author       = {Michael Codish and
                  Dennis Dams and
                  Gilberto Fil{\'{e}} and
                  Maurice Bruynooghe},
  title        = {On the Design of a Correct Freeness Analysis for Logic Programs},
  journal      = {J. Log. Program.},
  volume       = {28},
  number       = {3},
  pages        = {181--206},
  year         = {1996},
  url          = {https://doi.org/10.1016/0743-1066(95)00120-4},
  doi          = {10.1016/0743-1066(95)00120-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/CodishDFB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/DegtyarevV96,
  author       = {Anatoli Degtyarev and
                  Andrei Voronkov},
  title        = {A Note on Semantics of Logic Programs with Equality Based on Complete
                  Sets of E-Unifiers},
  journal      = {J. Log. Program.},
  volume       = {28},
  number       = {3},
  pages        = {207--216},
  year         = {1996},
  url          = {https://doi.org/10.1016/0743-1066(96)00049-0},
  doi          = {10.1016/0743-1066(96)00049-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/DegtyarevV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/DovierOPR96,
  author       = {Agostino Dovier and
                  Eugenio G. Omodeo and
                  Enrico Pontelli and
                  Gianfranco Rossi},
  title        = {A Language for Programming in Logic with Finite Sets},
  journal      = {J. Log. Program.},
  volume       = {28},
  number       = {1},
  pages        = {1--44},
  year         = {1996},
  url          = {https://doi.org/10.1016/0743-1066(95)00147-6},
  doi          = {10.1016/0743-1066(95)00147-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/DovierOPR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Lindgren96,
  author       = {Thomas Lindgren},
  title        = {Polyvariant Detection of Uninitialized Arguments of Prolog Predicates},
  journal      = {J. Log. Program.},
  volume       = {28},
  number       = {3},
  pages        = {217--229},
  year         = {1996},
  url          = {https://doi.org/10.1016/0743-1066(96)00050-7},
  doi          = {10.1016/0743-1066(96)00050-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Lindgren96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/MartensS96,
  author       = {Bern Martens and
                  Danny De Schreye},
  title        = {Automatic Finite Unfolding Using Well-Founded Measures},
  journal      = {J. Log. Program.},
  volume       = {28},
  number       = {2},
  pages        = {89--146},
  year         = {1996},
  url          = {https://doi.org/10.1016/0743-1066(95)00149-2},
  doi          = {10.1016/0743-1066(95)00149-2},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/MartensS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}