TY  - RPRT
TI  - Functional Stable Model Semantics and Answer Set Programming Modulo Theories
AU  - Michael Bartholomew
AU  - Joohyung Lee
PY  - 2026
UR  - https://arxiv.org/abs/2605.09524
ID  - 2605.09524
ER  -