Stable Model Semantics for Tuple-Generating Dependencies Revisited.

Mario Alviano, Michael Morak, Andreas Pieris

Browse the full PODS paper archive.