@article{journals/tocl/LeonePFEGPS06,
  author = "Nicola Leone and Gerald Pfeifer and Wolfgang Faber and Thomas Eiter and Georg Gottlob and Simona Perri and Francesco Scarcello",
  doi = "10.1145/1149114.1149117",
  journal = "{ACM} Trans. Comput. Log.",
  number = "3",
  pages = "499-562",
  title = "The {DLV} system for knowledge representation and reasoning",
  volume = "7",
  year = "2006",
}