Combining closed world assumptions with stable negation (1997)

by C Ruiz, J Minker
Venue:Fundamenta Informaticae