@inproceedings{IJCAI-2016-alc-insep,
   title = {Query-Based Entailment and Inseparability for ALC Ontologies},
   year = {2016},
   author = {Elena Botoeva and Carsten Lutz and Vladislav Ryzhikov and
	      Frank Wolter and Michael Zakharyaschev},
   publisher = {AAAI Press},
   pages = {1001-1007},
   booktitle = {Proc. of the 25th Int. Joint Conf. on Artificial Intelligence (IJCAI 2016)},
   webpdf = {http://www.inf.unibz.it/~ebotoeva/papers/blrwz-IJCAI-16.pdf},
}