Francesco Calimeri, Wolfgang Faber, Nicola Leone, Gerald Pfeifer. Pruning operators for answer set programming systems. In Salem Benferhat, Enrico Giunchiglia, editors, 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings. pages 200-209, 2002.
Abstract is missing.