Guarded resolution for Answer Set Programming

Victor W. Marek, Jeffrey B. Remmel. Guarded resolution for Answer Set Programming. TPLP, 11(1):111-123, 2011. [doi]

Abstract

Abstract is missing.