Carlo Zaniolo Natraj Arni KayLiang Ong Negation and Aggregates in Recursive Rules: the LDL++ Approach. 204-221 1993 DOOD db/conf/dood/dood93.html#ZanioloAO93 http://dx.doi.org/10.1007/3-540-57530-8_13