DMCA

Generalized Complexity of ALC Subsumption

by Arne Meier