Compactness Properties for Stable Semantics of Logic Programs

Victor W. Marek, Jeffrey B. Remmel. Compactness Properties for Stable Semantics of Logic Programs. Fundamenta Informaticae, 81(1-3):211-239, 2007. [doi]

Abstract

Abstract is missing.