Hirohisa Seki. On Negative Unfolding in the Answer Set Semantics. In Michael Hanus, editor, Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers. Volume 5438 of Lecture Notes in Computer Science, pages 168-184, Springer, 2008. [doi]
Abstract is missing.