@misc{indiciae888827054a32, title = {Bound-Founded Semantics for Answer Set Programming with Difference Constraints: Preliminary Report}, author = {Pedro Cabalar and Jorge Fandinno and Nicolas Rühling and Torsten Schaub and Sebastian Schellhorn and Philipp Wanko}, year = {2026}, doi = {10.4204/eptcs.450.27}, url = {https://arxiv.org/abs/2607.21201}, note = {Source identifier: 2607.21201} }