@inproceedings{KR-2014-query-insep,
   title    = {Query Inseparability for Description Logic Knowledge Bases},
   year     = {2014},
   author   = {Elena Botoeva and Roman Kontchakov and Vladislav Ryzhikov and
	      Frank Wolter and Michael Zakharyaschev},
   booktitle = {Proc. of the 14th Int. Conf. on Knowledge Representation and
		  Reasoning (KR 2014)},
   publisher = {AAAI Press},
   pages     = {238-247},
   webpdf = {https://www.doc.ic.ac.uk/~ebotoeva/papers/bkrwz-KR-14.pdf},
   prespdf = {https://www.doc.ic.ac.uk/~ebotoeva/presentations/bkrwz-KR-14-presentation.pdf},
}