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]

Possibly Related Publications

The following publications are possibly variants of this publication: