@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",
}