@inproceedings{ijcai/BogaertsW18,
  author    = {Bart Bogaerts and
               Antonius Weinzierl},
  title     = {Exploiting Justifications for Lazy Grounding of Answer Set Programs},
  booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
               Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
               Sweden.},
  pages     = {1737--1745},
  year      = {2018},
  crossref  = {ijcai/2018},
  url       = {https://doi.org/10.24963/ijcai.2018/240},
  doi       = {10.24963/ijcai.2018/240},
}
@proceedings{ijcai/2018,
  editor    = {J{\'{e}}r{\^{o}}me Lang},
  title     = {Proceedings of the Twenty-Seventh International Joint Conference on
               Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
               Sweden},
  publisher = {ijcai.org},
  year      = {2018},
  url       = {http://www.ijcai.org/proceedings/2018/},
  isbn      = {978-0-9992411-2-7},
}