Allen Van Gelder Foundations of Aggregation in Deductive Databases. 13-34 1993 DOOD db/conf/dood/dood93.html#Gelder93 http://dx.doi.org/10.1007/3-540-57530-8_2