F.: The complexity of circumscription in description logic. (2009)

by P A Bonatti, C Lutz, Wolter
Venue:J. Artif. Int. Res.