A procedural semantics for well founded negation in logic programsComplex aggregation at multiple granularitiesOn negation in hilogOptimizing selections over data cubes
