A Knowledge Compilation Technique for ALC Tboxes.

Ulrich Furbach, Heiko Gnther, Claudia Obermaier

Browse the full FlAIRS paper archive.