Pruning external minimality checking for answer set programs using semantic dependencies (bibtex)
by Thomas Eiter, Tobias Kaminski
Reference:
Pruning external minimality checking for answer set programs using semantic dependenciesThomas Eiter, Tobias KaminskiArtif. Intell., volume 290, pages 103402, 2021.
Bibtex Entry:
@article{DBLP:journals/ai/EiterK21,
  author    = {Thomas Eiter and
               Tobias Kaminski},
  title     = {Pruning external minimality checking for answer set programs using
               semantic dependencies},
  journal   = {Artif. Intell.},
  volume    = {290},
  pages     = {103402},
  year      = {2021},
  url       = {https://doi.org/10.1016/j.artint.2020.103402},
  doi       = {10.1016/j.artint.2020.103402},
  timestamp = {Thu, 17 Dec 2020 18:29:39 +0100},
  biburl    = {https://dblp.org/rec/journals/ai/EiterK21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser