Keys‚ Nominals‚ and Concrete Domains
Carsten Lutz‚ Carlos Areces‚ Ian Horrocks and Ulrike Sattler
Institution
Lehrstuhl für Automatentheorie Institut für Theoretische Informatik‚ TU Dresden
Number
02−04
Year
2002
Carsten Lutz‚ Carlos Areces‚ Ian Horrocks and Ulrike Sattler