Dynamic Magic Sets and super-coherent answer set programs

Mario Alviano, Wolfgang Faber. Dynamic Magic Sets and super-coherent answer set programs. AI Commun., 24(2):125-145, 2011. [doi]

Abstract

Abstract is missing.