Symposium on Practical Aspects of Declarative Languages

• SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic