@inproceedings{DBLP:conf/lics/CaliGLMP10,
  title = "Datalog+⁄−: A Family of Logical Knowledge Representation and Query Languages for New Applications",
  author = "Andrea Cal\`{\i} and Georg Gottlob and Thomas Lukasiewicz and Bruno Marnette and Andreas Pieris",
  year = "2010",
  booktitle = "Proceedings of the 25th IEEE Symposium on Logic in Computer Science, LICS 2010, Edinburgh, UK, July 2010",
  pages = "228--242",
  publisher = "IEEE Computer Society",
  url = "http://doi.ieeecomputersociety.org/10.1109/LICS.2010.27",
}