TY  - RPRT
TI  - Bound-Founded Semantics for Answer Set Programming with Difference Constraints: Preliminary Report
AU  - Pedro Cabalar
AU  - Jorge Fandinno
AU  - Nicolas Rühling
AU  - Torsten Schaub
AU  - Sebastian Schellhorn
AU  - Philipp Wanko
PY  - 2026
DO  - 10.4204/eptcs.450.27
UR  - https://arxiv.org/abs/2607.21201
ID  - 2607.21201
ER  -