TY  - RPRT
TI  - Strong Equivalence in Answer Set Programming with Constraints
AU  - Pedro Cabalar
AU  - Jorge Fandinno
AU  - Torsten Schaub
AU  - Philipp Wanko
PY  - 2025
UR  - https://arxiv.org/abs/2502.04302
ID  - 2502.04302
ER  -