BibTeX record: conf/plilp/BruynoogheVWD98

download as .bib file

@inproceedings{DBLP:conf/plilp/BruynoogheVWD98,
  author    = {Maurice Bruynooghe and
               Henk Vandecasteele and
               D. Andre de Waal and
               Marc Denecker},
  title     = {Detecting Unsolvable Queries for Definite Logic Programs},
  booktitle = {Principles of Declarative Programming, 10th International Symposium,
               PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
               Pisa, Italy, September 16-18, 1998, Proceedings},
  year      = {1998},
  pages     = {118--133},
  crossref  = {DBLP:conf/plilp/1998},
  url       = {http://dx.doi.org/10.1007/BFb0056611},
  doi       = {10.1007/BFb0056611},
  timestamp = {Mon, 20 Oct 2014 23:26:05 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/plilp/BruynoogheVWD98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/plilp/1998,
  editor    = {Catuscia Palamidessi and
               Hugh Glaser and
               Karl Meinke},
  title     = {Principles of Declarative Programming, 10th International Symposium,
               PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
               Pisa, Italy, September 16-18, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  year      = {1998},
  volume    = {1490},
  publisher = {Springer},
  isbn      = {3-540-65012-1},
  timestamp = {Mon, 20 Oct 2014 23:26:05 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/plilp/1998},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}