Vol-4229⫷ Vol-4230 ⫸Vol-4231
urn:nbn:de:0074-4230-0


Vol-4230/dl-paper10⫷Vol-4230/dl-paper11⫸Vol-4230/dl-paper12
Michał HenneBarbara MorawskaPaweł Parys

Subsumption in ℱℒ⊥reg with TBoxes Is in ExpTime