F.M.: Exptime tableaux for alc (2000)

by Francesco M Donini
Venue:Artificial Intelligence