Compactness Properties for Stable Semantics of Logic Programs.

Victor W. Marek, Jeffrey B. Remmel

Browse the full LFCS paper archive.