APA (7th ed.) Citation

CICCALÈ, M., JURJO-RIVAS, D., MORALES, J. F., LÓPEZ-GARCÍA, P., & HERMENEGILDO, M. V. (2025). Hiord $^{{\kern2pt}\sharp}$: An Approach to the Specification and Verification of Higher-Order (C)LP Programs. Theory & Practice of Logic Programming, 25(4), 612. https://doi.org/10.1017/S147106842510015X

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

CICCALÈ, MARCO, et al. "Hiord $^{{\kern2pt}\sharp}$: An Approach to the Specification and Verification of Higher-Order (C)LP Programs." Theory & Practice of Logic Programming, vol. 25, no. 4, 2025, p. 612, https://doi.org/10.1017/S147106842510015X.