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