@article{AIJ-2016-games-inseparability,
  author = {Elena Botoeva and Roman Kontchakov and Vladislav Ryzhikov and Frank Wolter and Michael Zakharyaschev},
  title = {Games for Query Inseparability of Description Logic Knowledge Bases},
  journal = {Artificial Intelligence},
  volume = {234},
  number = {},
  pages = {78 - 119},
  year = {2016},
  issn = {0004-3702},
  doi = {http://dx.doi.org/10.1016/j.artint.2016.01.010},
  url = {http://www.sciencedirect.com/science/article/pii/S0004370216300017},
  webpdf = {https://www.doc.ic.ac.uk/~ebotoeva/papers/bkrwz-AIJ-16.pdf},
}