Abstract Environment Trimming - Jurjo-rivas, Daniel; Morales, Jose F; Lopez-garcia, Pedro; Hermenegildo, Manuel, V (Theory And Practice Of Logic Programming, 2024)