Abstract Environment Trimming. - Daniel Jurjo-Rivas; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2024)

Hiord: An Approach to the Specification and Verification of Higher-Order (C)LP Programs. - Marco Ciccalè; Daniel Jurjo-Rivas; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (CoRR, 2025)