Author:
Publication: Artificial Intelligence
Query inseparability for ALC ontologies
The algorithm selection competitions 2015 and 2017