Experimenting with recursive queries in database and logic programming systems
Aggregate Functions in DLV