DBLP Record 'conf/nmr/LeonePS04'

BibTeX

@inproceedings{DBLP:conf/nmr/LeonePS04,
  author    = {Nicola Leone and
               Simona Perri and
               Francesco Scarcello},
  title     = {BackJumping techniques for rules instantiation in the DLV
               system},
  booktitle = {NMR},
  year      = {2004},
  pages     = {258-266},
  ee        = {http://www.pims.math.ca/science/2004/NMR/papers/paper34.pdf},
  crossref  = {DBLP:conf/nmr/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/nmr/2004,
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {10th International Workshop on Non-Monotonic Reasoning (NMR
               2004), Whistler, Canada, June 6-8, 2004, Proceedings},
  booktitle = {NMR},
  year      = {2004},
  isbn      = {92-990021-0-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}