Style de citation APA (7e éd.)

Ciccalè, M., Jurjo-Rivas, D., Morales, J. F., López-García, P., & Hermenegildo, M. V. (2025). Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs.

Style de citation Chicago (17e éd.)

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

Style de citation MLA (9e éd.)

Ciccalè, Marco, et al. Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs. 2025.