BibTeX record conf/iclp/BeatrixLGS16

download as .bib file

@inproceedings{DBLP:conf/iclp/BeatrixLGS16,
  author    = {Christopher B{\'{e}}atrix and
               Claire Lef{\`{e}}vre and
               Laurent Garcia and
               Igor St{\'{e}}phan},
  editor    = {Manuel Carro and
               Andy King and
               Neda Saeedloei and
               Marina De Vos},
  title     = {Justifications and Blocking Sets in a Rule-Based Answer Set Computation},
  booktitle = {Technical Communications of the 32nd International Conference on Logic
               Programming, {ICLP} 2016 TCs, October 16-21, 2016, New York City,
               {USA}},
  series    = {{OASICS}},
  volume    = {52},
  pages     = {6:1--6:15},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2016},
  url       = {https://doi.org/10.4230/OASIcs.ICLP.2016.6},
  doi       = {10.4230/OASIcs.ICLP.2016.6},
  timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl    = {https://dblp.org/rec/conf/iclp/BeatrixLGS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics