NEXPTIME-Complete Description Logics with Concrete Domains.

Carsten Lutz

Browse the full CADE paper archive.