TY  - RPRT
TI  - SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic
AU  - Zachary Hansen
AU  - Yuliya Lierler
PY  - 2025
DO  - 10.1007/978-3-031-84924-4_5
UR  - https://arxiv.org/abs/2511.01753
ID  - 2511.01753
ER  -