Hiord# : An Approach to the Specification and Verification of Higher-Order (C)LP Programs - Ciccalè M; Jurjo-Rivas D; Morales JF; López-García P; Hermenegildo MV (Theory And Practice Of Logic Programming, 2025)