EXPTIME tableaux for ALC (2000)

by Francesco M. Donini , Fabio Massacci
Venue:ARTIFICIAL INTELLIGENCE
Citations:57 - 4 self