The Disjunctive Datalog System DLV

Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina. The Disjunctive Datalog System DLV. In Oege de Moor, Georg Gottlob, Tim Furche, Andrew Jon Sellers, editors, Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers. Volume 6702 of Lecture Notes in Computer Science, pages 282-301, Springer, 2010. [doi]

@inproceedings{AlvianoFLPPT10,
  title = {The Disjunctive Datalog System DLV},
  author = {Mario Alviano and Wolfgang Faber and Nicola Leone and Simona Perri and Gerald Pfeifer and Giorgio Terracina},
  year = {2010},
  doi = {10.1007/978-3-642-24206-9_17},
  url = {http://dx.doi.org/10.1007/978-3-642-24206-9_17},
  researchr = {https://researchr.org/publication/AlvianoFLPPT10},
  cites = {0},
  citedby = {0},
  pages = {282-301},
  booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers},
  editor = {Oege de Moor and Georg Gottlob and Tim Furche and Andrew Jon Sellers},
  volume = {6702},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-24205-2},
}