DMCA

EXPTIME tableaux for ALC (2000)

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