TY  - RPRT
TI  - Abstract Environment Trimming
AU  - Daniel Jurjo-Rivas
AU  - Jose F. Morales
AU  - Pedro López-García
AU  - Manuel V. Hermenegildo
PY  - 2024
DO  - 10.1017/s1471068424000358
UR  - https://arxiv.org/abs/2408.09848
ID  - 2408.09848
ER  -