On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP.

Victor W. Marek, Jeffrey B. Remmel

Browse the full ICLP paper archive.