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