BibTeX record conf/ijcai/SlotaL13

download as .bib file

@inproceedings{DBLP:conf/ijcai/SlotaL13,
  author    = {Martin Slota and
               Jo{\~{a}}o Leite},
  title     = {On Condensing a Sequence of Updates in Answer-Set Programming},
  booktitle = {{IJCAI}},
  pages     = {1097--1103},
  publisher = {{IJCAI/AAAI}},
  year      = {2013}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics