Omission-Based Abstraction for Answer Set Programs (bibtex)
by Zeynep G. Saribatur, Thomas Eiter
Reference:
Omission-Based Abstraction for Answer Set ProgramsZeynep G. Saribatur, Thomas EiterTheory Pract. Log. Program., volume 21, number 2, pages 145–195, 2021.
Bibtex Entry:
@article{zgstplp21,
  author    = {Zeynep G. Saribatur and
               Thomas Eiter},
  title     = {Omission-Based Abstraction for Answer Set Programs},
  journal   = {Theory Pract. Log. Program.},
  volume    = {21},
  number    = {2},
  pages     = {145--195},
  year      = {2021},
  url       = {https://doi.org/10.1017/S1471068420000095},
  doi       = {10.1017/S1471068420000095}
}
Powered by bibtexbrowser