Hiord $^{{\kern2pt}\sharp}$ : An Approach to the Specification and Verification of Higher-Order (C)LP Programs. - CICCALÈ, MARCO; JURJO-RIVAS, DANIEL; MORALES, JOSE F.; LÓPEZ-GARCÍA, PEDRO; HERMENEGILDO, MANUEL V. (Theory & Practice of Logic Programming, 2025)