@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 = {https://www.doc.ic.ac.uk/~ebotoeva/papers/blrwz-IJCAI-16.pdf},
   prespdf = {https://www.doc.ic.ac.uk/~ebotoeva/presentations/blrwz-IJCAI-16-presentation.pdf},
   posterpdf = {https://www.doc.ic.ac.uk/~ebotoeva/presentations/blrwz-IJCAI-16-poster.pdf}
}