TY  - RPRT
TI  - Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
AU  - Jan Heuer
AU  - Christoph Wernhard
PY  - 2024
DO  - 10.1007/978-3-031-63498-7_11
UR  - https://arxiv.org/abs/2402.07696
ID  - 2402.07696
ER  -