EXPTIME tableaux for ALC (0)

by F M Donini, F Massacci
Venue:Artificial Intelligence