Mauricio Osorio Bharat Jayaraman Aggregation and Well-Founded Semantics. 71-90 1996 conf/nmelp/1996 NMELP db/conf/nmelp/nmelp96.html#OsorioJ96