Tableau-based forgetting in ALC ontologies. (2010)

by Z Wang, K Wang, R W Topor, X Zhang
Venue:In Proc. of ECAI10,