#!/usr/bin/php
@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}, }