BibTeX record conf/nmr/ElkhativPS04

download as .bib file

@inproceedings{DBLP:conf/nmr/ElkhativPS04,
  author       = {Omar El{-}Khatib and
                  Enrico Pontelli and
                  Tran Cao Son},
  editor       = {James P. Delgrande and
                  Torsten Schaub},
  title        = {{ASP-PROLOG:} a system for reasoning about answer set programs in
                  prolog},
  booktitle    = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
                  Whistler, Canada, June 6-8, 2004, Proceedings},
  pages        = {155--163},
  year         = {2004},
  url          = {http://www.pims.math.ca/science/2004/NMR/papers/paper21.pdf},
  timestamp    = {Thu, 07 Jul 2005 13:47:45 +0200},
  biburl       = {https://dblp.org/rec/conf/nmr/ElkhativPS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics