TY  - RPRT
TI  - Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
AU  - Marco Ciccalè
AU  - Daniel Jurjo-Rivas
AU  - Jose F. Morales
AU  - Pedro López-García
AU  - Manuel V. Hermenegildo
PY  - 2025
DO  - 10.1017/s147106842510015x
UR  - https://arxiv.org/abs/2507.17233
ID  - 2507.17233
ER  -