BibTeX record journals/sp/NievesO18

download as .bib file

@article{DBLP:journals/sp/NievesO18,
  author       = {Juan Carlos Nieves and
                  Mauricio Osorio},
  title        = {Extending Well-Founded Semantics with Clark's Completion for Disjunctive
                  Logic Programs},
  journal      = {Sci. Program.},
  volume       = {2018},
  pages        = {4157030:1--4157030:10},
  year         = {2018},
  url          = {https://doi.org/10.1155/2018/4157030},
  doi          = {10.1155/2018/4157030},
  timestamp    = {Thu, 30 Jul 2020 14:27:38 +0200},
  biburl       = {https://dblp.org/rec/journals/sp/NievesO18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}