@article{journals/corr/cs-AI-0211004,
  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 = "2002",
  journal = "CoRR",
  url = "http://arxiv.org/abs/cs.AI/0211004",
  volume = "cs.AI/0211004",
}