@inproceedings{aaai/BogaertsVD15,
  author    = {Bart Bogaerts and
               Joost Vennekens and
               Marc Denecker},
  title     = {Grounded Fixpoints},
  booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
               January 25-30, 2015, Austin, Texas, {USA.}},
  pages     = {1453--1459},
  year      = {2015},
  crossref  = {aaai/2015},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9324},
  timestamp = {Sun, 12 Apr 2015 15:18:08 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aaai/0001VD15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{aaai/2015,
  editor    = {Blai Bonet and
               Sven Koenig},
  title     = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
               January 25-30, 2015, Austin, Texas, {USA}},
  publisher = {{AAAI} Press},
  year      = {2015},
  url       = {http://www.aaai.org/Library/AAAI/aaai15contents.php},
  isbn      = {978-1-57735-698-1},
  timestamp = {Sun, 12 Apr 2015 12:16:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aaai/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}