@misc{indiciaec0983ebb8c69,
  title = {The DLV System for Knowledge Representation and Reasoning},
  author = {Nicola Leone and Gerald Pfeifer and Wolfgang Faber and Thomas Eiter and Georg Gottlob and Simona Perri and Francesco Scarcello},
  year = {2003},
  doi = {10.1145/1149114.1149117},
  url = {https://arxiv.org/abs/cs/0211004},
  note = {Source identifier: cs/0211004}
}