TY  - RPRT
TI  - An Approach to the Abstract Interpretation of Goal-Directed Answer Set Programming
AU  - Daniel Jurjo-Rivas
AU  - Joaquín Arias
AU  - Gopal Gupta
AU  - Jose F. Morales
AU  - Pedro López-García
AU  - Manuel V. Hermenegildo
PY  - 2026
DO  - 10.4204/eptcs.450.26
UR  - https://arxiv.org/abs/2607.20252
ID  - 2607.20252
ER  -