Mauricio Osorio Bharat Jayaraman Aggregation and Negation-As-Failure. 255-284 1999 17 New Generation Comput. 3 db/journals/ngc/ngc17.html#OsorioJ99