BibTeX record journals/tplp/PontelliSE09

download as .bib file

@article{DBLP:journals/tplp/PontelliSE09,
  author    = {Enrico Pontelli and
               Tran Cao Son and
               Omar El{-}Khatib},
  title     = {Justifications for logic programs under answer set semantics},
  journal   = {Theory Pract. Log. Program.},
  volume    = {9},
  number    = {1},
  pages     = {1--56},
  year      = {2009}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics