On Computing Minimal EL-Subsumption Modules.

Jieying Chen, Michel Ludwig, Dirk Walther

Browse the full FOIS paper archive.