@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",
}
@article{BetalSPRINGER10,
  title = "SPARQLog: SPARQL with Rules and Quantification",
  author = "Francois Bry and Tim Furche and Clemens Ley and Benedikt Linse and Bruno Marnette and Olga Poppe",
  year = "2010",
  journal = "Book Chapter, in Semantic Web Information Management: A Model Based Perspective, Springer",
}
@article{MMPVLDB10,
  title = "Scalable Data Exchange with Functional Dependencies",
  author = "Bruno Marnette and Giansalvatore Mecca and Paolo Papotti",
  year = "2010",
  journal = "VLDB",
}
@article{MGICDT10,
  title = "Static Analysis of Schema-Mappings ensuring Oblivious Termination",
  author = "Bruno Marnette and Floris Geerts",
  year = "2010",
  journal = "ICDT",
}
@article{MGGLNCS09,
  title = "HyperConsistency Width For Constraint Satisfaction",
  author = "Bruno Marnette and Georg Gottlob and Gianluigi Greco",
  year = "2009",
  journal = "Graph Theory, Computational Intelligence and Thought",
}
@article{MPODS09,
  title = "Generalized Schema Mapping: From Termination To Tractability",
  author = "Bruno Marnette",
  year = "2009",
  journal = "PODS",
}
@article{BetalWLP08,
  title = "RDFLog: It's like Datalog for RDF",
  author = "Francois Bry and Tim Furche and Clemens Ley and Benedikt Linse and Bruno Marnette",
  year = "2008",
  journal = "WLP",
}
@article{MKRFoSSaCS07,
  title = "Polynomial Constraints for Sets with Cardinality Bounds",
  author = "Bruno Marnette and Viktor Kuncak and Martin Rinard",
  year = "2007",
  journal = "FoSSaCS",
}