Islands of tractability for relational constraints: Towards dichotomy results for the description logic EL (2010)

by A Kurucz, F Wolter, M Zakharyaschev
Venue:In Advances in Modal Logic 8