EXPTIME tableaux for ALC (2000)

by Francesco M. Donini , Fabio Massacci
Venue:ARTIFICIAL INTELLIGENCE
Citations:51 - 3 self