Negation and aggregates in recursive rules: The LDL++ approach. (1993)

by C Zaniolo, N Arni, K Ong
Venue:Proceedings of the 3rd International Conference on Deductive and Object-Oriented Databases (DOOD’93).