Stable Models and Non-Determinism in Logic Programs with Negation.

Domenico Sacc, Carlo Zaniolo

Browse the full PODS paper archive.