@article{DBLP:journals/ai/BenediktGK18,
  title = "Logical foundations of information disclosure in ontology-based data integration",
  author = "Michael Benedikt and Bernardo Cuenca Grau and Egor V. Kostylev",
  year = "2018",
  journal = "Artificial Intelligence",
  pages = "52--95",
  volume = "262",
  doi = "10.1016/j.artint.2018.06.002",
}
@inproceedings{DBLP:conf/aaai/BenediktMT18,
  title = "Goal-Driven Query Answering for Existential Rules With Equality",
  author = "Michael Benedikt and Boris Motik and Efthymia Tsamoura",
  year = "2018",
  booktitle = "Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018",
  url = "https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16927",
}
@inproceedings{ijcai2017-116,
  title = "Reformulating Queries: Theory and Practice",
  author = "Michael Benedikt and Egor V. Kostylev and Fabio Mogavero and Efthymia Tsamoura",
  year = "2017",
  booktitle = "Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017",
  editor = "Carles Sierra",
  isbn = "978-0-9992411-0-3",
  pages = "837--843",
  publisher = "ijcai.org",
  url = "http://www.ijcai.org/Proceedings/2017/",
  doi = "10.24963/ijcai.2017/116",
}
@article{BenediktPuppisVu10,
  title = "Positive Higher-Order Queries",
  author = "Michael Benedikt and Gabriele Puppis and Huy Vu",
  year = "2010",
  affiliation = "Oxford University",
  journal = "PODS: The 29th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems",
  location = "Indianapolis, Indiana, USA",
  publisher = "ACM",
}
@inproceedings{ley-benedikt-icdt-2009,
  title = "How Big Must Complete XML Query Languages Be?",
  author = "Clemens Ley and Michael Benedikt",
  year = "2009",
  affiliation = "Oxford University",
  journal = "International Conference on Database Theory",
}