@inproceedings{DL-2016-alc-insep,
   title = {When is Query Inseparability for ALC Ontologies Decidable?},
   year = {2016},
   author = {Elena Botoeva and Carsten Lutz and Vladislav Ryzhikov and
	      Frank Wolter and Michael Zakharyaschev},
   booktitle = {Proc. of the 29th Int. Workshop on Description Logics (DL 2016)},
   webpdf = {https://www.doc.ic.ac.uk/~ebotoeva/papers/blrwz-DL-16.pdf},
}