@misc{indiciae655fffe62fc8,
  title = {SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic},
  author = {Zachary Hansen and Yuliya Lierler},
  year = {2025},
  doi = {10.1007/978-3-031-84924-4\_5},
  url = {https://arxiv.org/abs/2511.01753},
  note = {Source identifier: 2511.01753}
}