Symposium on Practical Aspects of Declarative Languages

• Strong Equivalence and Program's Structure in Arguing Essential Equivalence
• Automatic Program Rewriting in Non-Ground Answer Set Programs