EXPTIME tableaux for ALC (2000)

by F M Donini, F Massacci
Venue:Artificial Intelligence