ASP(\unicode120016\unicode119966): Answer Set Programming with Algebraic Constraints (bibtex)
by Thomas Eiter, Rafael Kiesel
Reference:
ASP(\unicode120016\unicode119966): Answer Set Programming with Algebraic ConstraintsThomas Eiter, Rafael KieselTheory Pract. Log. Program., volume 20, number 6, pages 895–910, 2020.
Bibtex Entry:
@article{DBLP:journals/tplp/EiterK20,
  author    = {Thomas Eiter and
               Rafael Kiesel},
  title     = {ASP({\unicode{120016}}{\unicode{119966}}): Answer Set Programming
               with Algebraic Constraints},
  journal   = {Theory Pract. Log. Program.},
  volume    = {20},
  number    = {6},
  pages     = {895--910},
  year      = {2020},
  url       = {https://doi.org/10.1017/S1471068420000393},
  doi       = {10.1017/S1471068420000393},
  timestamp = {Tue, 20 Oct 2020 18:26:28 +0200},
  biburl    = {https://dblp.org/rec/journals/tplp/EiterK20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser